A computational logic / Robert S. Boyer and J. Strother Moore

By:

Boyer, Robert S [aut]

Contributor(s):

Resource type: Ressourcentyp: BuchBookLanguage: English Series: ACM monograph seriesPublisher: New York [u.a.] : Academic Press, c1979Description: XIV, 397 S ; 24 cmISBN:

0121229505

Subject(s):

DDC classification:

519.4
001.53/5

RVK: RVK: ST 125 | ES 215 | ST 140LOC classification:

QA76.9.A96

Call number: Grundsignatur: 80 A 2258PPN: PPN: 152088504

Holdings ( 1 )

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	80 A 2258	Available	49590520090

Total holds: 0

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)