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

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings

TABLEAUX 2002
Bok Engelsk 2002


Utgitt	Berlin : Springer , c2002
Omfang	X, 339 s. : ill.
Emner	Automatic theorem proving Automatisk deduksjon Kunstig intelligens matematisk logikk
ISBN	3540439293