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
|
