Automated deduction - CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 ; proceedings

Automated deduction - CADE-12 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: CADE (International Conference on Automated Deduction) (BerichterstatterIn)
Weitere Verfasser: Bundy, Alan (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 1994
Schriftenreihe:Lecture notes in computer science 814 : Lecture notes in artificial intelligence
Schlagworte:
Automatische bewijsvoering > Logique symbolique et mathématique - Congrès > Théorèmes - Démonstration automatique - Congrès > Automatic theorem proving > Logic, Symbolic and mathematical > Automatisches Beweisverfahren > Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XVI, 848 S.
graph. Darst.
ISBN:3540581561
3-540-58156-1
0387581561
0-387-58156-1