Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX' - detaljert visning

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings

TABLEAUX '99
Bok Engelsk 1999


Utgitt	Berlin : Springer , c1999
Omfang	X, 323 s. : ill.
Emner	Automatisk bevisføring Bevisføring (Matematikk) - Databehandling Flerverdilogikk Kunnskapsbaserte systemer Vis mer... Logikk Modal logikk Temporal logikk
ISBN	3540660860