Clausal form logic : an introduction to the logic of computer reasoning / Tom Richards

By:

Richards, Tom [aut]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: International computer science seriesPublisher: Sydney [u.a.] : Addison-Wesley, 1989Edition: 1. printDescription: XIII, 359 S : graph. DarstISBN:

0201129205

Subject(s):

Kausalität
Programmierung
Logische Programmierung
PROLOG Programmiersprache
Logic, symbolic and mathematical
Electronic digital computers Programming
Logic, Symbolic and mathematical

MSC: MSC: *68-01 | 68T15 | 03B35RVK: RVK: ST 285 | ST 300LOC classification:

QA76.6

Call number: Grundsignatur: 89 A 1567PPN: PPN: 275621103

Holdings ( 1 )

Holdings
Item type	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	89 A 1567	Available		46160752090

Total holds: 0

Place hold
Print
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)