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

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

TABLEAUX 2000
Bok Engelsk 2000


Utgitt	Berlin : Springer , c2000
Omfang	X, 440 s. : ill.
Emner	Automatisk deduksjon Kunstig intelligens matematisk logikk
ISBN	354067697X