Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, A - detaljert visning

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Kurt Gödel Colloquium
Bok Engelsk 1993


Utgitt	Berlin : Springer , c1993
Omfang	XI, 348 s. : fig.
Emner	Automatic theorem proving - Congresses Logic, Symbolic and mathematical - Congresses Logikkprogrammering bevisføring matematisk logikk symbolsk databehandling
ISBN	0387571841. - 3540571841