Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings
Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Bok Engelsk 1993 Kurt Gödel Colloquium
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
|