A computational logic
New York [u.a.]: Academic Press, [19]79
Monographie, Gedruckte Ressource
- XIV, 397 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
A computational logic
|
---|---|
Verantwortlichkeitsangabe: | Robert S. Boyer and J. Strother Moore |
Autor/in / Beteiligte Person: | Boyer, Robert S. ; Moore, J Strother (1947-) |
Verwandtes Werk: | |
Veröffentlichung: | New York [u.a.]: Academic Press, [19]79 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XIV, 397 S. |
ISBN: | 0121229505 |
Schlagwort: |
|
Sonstiges: |
|