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!

Keine Ergebnisse!