<<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!

Keine Ergebnisse!