<<A>> Computational logic handbook

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Boyer, Robert S. (VerfasserIn)
Weitere Verfasser:	Moore, J Strother (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Boston u.a. Academic Pr. 1988
Ausgabe:	1. [Dr.]
Schriftenreihe:	Perspectives in computing 23
Schlagworte:	Mathematische Logik > Entscheidbarkeit > Automatisches Beweisverfahren
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XVI, 408 S.
ISBN:	0121229521