Foundations of disjunctive logic programming Jorge Lobo; Jack Minker; Arcot Rajasekar
Materialtyp:
TextSprache: Englisch Reihen: Logic programmingVerlag: Cambridge, Mass. [u.a.] MIT Press 1992Beschreibung: 307 p graph. DarstInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 0262121654
- 005.1
- QA76.63
- SK 130
- ST 120
- ST 130
- ST 230
- 54.71
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | LOB j 1992:1 2.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000046914 | ||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | LOB j 1992:1 3.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2204000011686 | ||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | LOB j 1992:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2200000017437 | ||
|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Books A-Z (1st) | GER h2 1963:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2201000029833 |
Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Books A-Z (1st), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
| LNCS 1542 Computer vision systems first international conference ; proceedings | LO h 1998:1 2.Ex Introduction to quantum computation and information | LOA ch 1992:1 3.Ex Computational frameworks for the fast Fourier transform | LOB j 1992:1 2.Ex Foundations of disjunctive logic programming | LOD h2 2011:1 1.Ex Chemoinformatics and advanced machine learning perspectives complex computational methods and collaborative techniques | LOE j 1976:1 8.Ex Algorithmentheorie | LOE j 1996:1 3.Ex Specification of abstract data types |
Includes bibliographical references (p. [275] - 290) and indexes