Proceedings Kaiserslautern, FRG, July 24 - 27, 1990

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Conference on Automated Deduction (VerfasserIn)
Weitere Verfasser:	Stickel, Mark E. (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 1990
Schriftenreihe:	Lecture notes in computer science 449 : Lecture notes in artificial intelligence
Schlagworte:	Inteligência artificial (conmputação) > Logique symbolique et mathématique - Congrès > Théorèmes - Démonstration automatique - Congrès > Automatic theorem proving > Logic, Symbolic and mathematical > Datenverarbeitung > Automatisches Beweisverfahren > Beweistheorie > Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XVI, 688 S. graph. Darst.
ISBN:	3540528857 3-540-52885-7 0387528857 0-387-52885-7