Handbook of automated reasoning 2 Ed.: Alan Robinson ...
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 0444508120
- 026218222X
- ST 304
- *00B15
- 68-06
- 68-00
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | Semesterapparate | |
---|---|---|---|---|---|---|---|---|---|---|
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | ROB a2 2001:2 3.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000169545 | ||||
![]() |
Gebäude E1 5 (MPI-SWS SB) | MPI-INF (E1 5) | Internal | restricted use | D2-internal | 2002000001504 | ||||
![]() |
Gebäude E1 5 (MPI-SWS SB) | MPI-INF (E1 5) | Internal | restricted use | D2-internal | 2002000001733 | ||||
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | ROB a2 2001:2 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000079800 | ||||
Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Course Reference (GF) | ROB a2 2001:2 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Nicht ausleihbar | 2200000082091 |
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)
ROA c 1996:1 1.Ex The computer music tutorial | ROB a2 2001:1 2.Ex Handbook of automated reasoning 1 | ROB a2 2001:1 4.Ex Handbook of automated reasoning 1 | ROB a2 2001:2 2.Ex Handbook of automated reasoning 2 | ROB a4 1986:1 1.Ex Introduction to model theory and to the metamathematics of algebra | ROB d7 2022:1 2.Ex The principles of deep learning theory an effective theory approach to understanding neural networks | ROB j 1979:1 1.Ex Logic: form and function the mechanization of deductive reasoning |