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

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings

TABLEAUX 2003
Bok Engelsk 2003


Utgitt	Berlin : Springer , c2003
Omfang	X, 270 s. : ill.
Emner	Automatic theorem proving Automatisk deduksjon Automatisk resonnering Kunstig intelligens matematisk logikk
ISBN	3540407871