˜A œ computational logic

(1.print.)<br>New York [u.a.]: Acad. Pr. (1979). XIV, 397 S.<br>ACM monograph series.

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Boyer, Robert S. (VerfasserIn)
Weitere Verfasser: Moore, J Strother (BerichterstatterIn)
Format: UnknownFormat
Sprache:und
Veröffentlicht: 1979
Schlagworte:
Automatisches Beweisverfahren
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:(1.print.)<br>New York [u.a.]: Acad. Pr. (1979). XIV, 397 S.<br>ACM monograph series.