A mathematical introduction to logic Herbert B. Enderton
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 0122384520
- QA9
- QA9.E54 2001
- 17,1
- SK 130
- *03-01
- 31.10
- 2
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | |
---|---|---|---|---|---|---|---|---|---|
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | END h 2002:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000031099 | |||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | END h 2002:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | Introduction to Computational Logic (Informatics core course) | 2200000138118 |
Regale von HOMEBRANCH: Universität des Saarlandes Fachrichtung Informatik durchstöbern, Standort: Books A-Z (1st), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
END b 1998:1 1.Ex Summarizing information including CD-ROM "SimSum", simulation of summarizing, for Macintosh and Windows | END g 1984:1 1.Ex Computer graphics programming GKS - the graphics standard | END h 1991:1 1.Ex A mathematical introduction to logic | END h 2002:1 1.Ex A mathematical introduction to logic | END h 2002:1 2.Ex A mathematical introduction to logic | ENG a3 2001:1 1.Ex Statistical mechanics of learning | ENG b2 1991:1 1.Ex Natural language markets commercial strategies |
Includes bibliographical references (p. 307 - 308) and index
Archivierung prüfen 20200919 DE-640 2 pdager