A computational logic handbook

Literaturverz. S. 397 - 399

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Boyer, Robert S. (VerfasserIn)
Weitere Verfasser:	Moore, J Strother (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Boston u.a. Academic Press 1988
Schriftenreihe:	Perspectives in computing 23
Schlagworte:	Automatic theorem proving > Logic, symbolic and mathematical > Mathematische Logik > Automatisches Beweisverfahren
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!