Logic programming [Book :]proceedings of the fourth international conference / edited by Jean-Louis Lassez.
Von: Lassez,Jean-Louis.
Mitwirkende(r): Lassez, Jean-Louis | International Conference on Logic Programming (4th : 1987 : University of Melbourne).
Materialtyp:
BuchReihen: MIT Press series in logic programming. Verlag: Cambridge : MIT Press, 1987Beschreibung: 2 v. : ill. ; 23 cm.ISBN: 0262121255 ; 026212128X (pbk. : v. 1); 0262620588 (pbk.); 0263121298 (pbk. : v. 2).Schlagwörter: Logic programming -- CongressesDDC-Klassifikation: 005.131 Bestand: v. 1-2; v.1-2; v.1 v.2; v. 1-2; 1-2; v. 1-2; v.1-2; 1-2
| Medientyp | Aktueller Standort | Signatur | Exemplarnr. | Status | Fälligkeitsdatum |
|---|---|---|---|---|---|
Books
|
6october 1105 | 005.131 L.L (Regal durchstöbern) | 1 | Verfügbar | |
|
Books
|
6october 1105 | 005.131 L.L (Regal durchstöbern) | 2 | Verfügbar |
Regale von 6october durchstöbern , Standort: 1105 Regal ausblenden
|
|
|
|
|
|
|
||
| 005.131 L F An introduction to formal languages and automata / | 005.131 L I An Introduction Formal Languages and Automata | 005.131 L.L Logic programming | 005.131 L.L Logic programming | 005.131 P A Analysis and design of algorithms | 005.131 P A Analysis and design of algorithms | 005.131 P A Analysis and design of algorithms |
Papers for the Fourth International Conference on Logic Programming at the University of Melbourne, Australia, in May 1987.
Includes bibliographies and index.
All age.
Es gibt keine Kommentare zu diesem Titel.