Algebraic and logic programming 5th International Conference, ALP'96, Aachen, Germany, September 25 - 27, 1996; proceedings Michael Hanus ... (eds.)
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540617353
- Logic programming -- Congresses
- Logic programming -- Congresses
- Algebraic logic -- Congresses
- Algebraische Spezifikation
- Algebraische Spezifikation
- Logische Programmierung
- Logische Programmierung
- Programmierung
- Programmierung
- Termersetzungssystem
- Termersetzungssystem
- Logische Programmierung
- Programmierung
- Algebraische Spezifikation
- Termersetzungssystem
- Logische Programmierung
- Programmierung
- Algebraische Spezifikation
- Termersetzungssystem
- QA76.63
- 28
- SS 4800
- ST 230
- *68-06
- 00B25
- 68Nxx
- 54.71
- 54.53
- Archivierung/Langzeitarchivierung gewährleistet PEBW
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 1139 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000010434 |
Literaturangaben
Algebraic and logic programming
Hanus, Michael: Algebraic and Logic Programming
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31