Buch
5th Conference on Automated Deduction
-Les Arcs, France, July 8-11, 1980-Wolfgang Bibel; R. Kowalski (Hrsg.)
Übersicht
Verlag | : | Springer Berlin |
Buchreihe | : | Lecture Notes in Computer Science (Bd. 87) |
Sprache | : | Englisch |
Erschienen | : | 01. 06. 1980 |
Seiten | : | 388 |
Einband | : | Kartoniert |
Höhe | : | 233 mm |
Breite | : | 155 mm |
Gewicht | : | 1250 g |
ISBN | : | 9783540100096 |
Sprache | : | Englisch |
Stichworte aus dem enthaltenen Werk
Stichworte im VLB | : | Bibel, Künstliche Intelligenz, Resolution, Variable, algorithms, automated deduction, logic, proof, set theory, theorem proving |