Logic and computer science held at Montecatini Terme, Italy, June 20 - 28, 1988 S. Homer ... . Ed.: P. Odifreddi
Materialtyp: TextSprache: Englisch Reihen: ; 1429 | Centro Internazionale Matematico Estivo Lectures given at the ... session of the Centro Internazionale Matematico Estivo (CIME) ; 1988,1 | Lecture notes in mathematics ; 1429Verlag: Berlin Heidelberg [u.a.] Springer 1990Beschreibung: 162 S graph. DarstInhaltstyp:- Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540527346
- 0387527346
- C.I.M.E. Meeting on Logic and Computer Science
- Logic, symbolic and mathematical -- Data processing -- Congresses
- Electronic data processing -- Mathematics -- Congresses
- Logic, Symbolic and mathematical Congresses
- Programming (Mathemati
- Computational complexity Congresses
- Logische Programmierung
- Funktionale Programmiersprache
- Komplexitätstheorie
- Programmverifikation
- Konstruktive Logik
- Logische Programmierung
- Funktionale Programmiersprache
- Komplexitätstheorie
- Programmverifikation
- Konstruktive Logik
- QA3
- QA9.A1
- 28 | 27
- SI 850
- *00B25
- 03-06
- 68-06
- 31.10
- Archivierung/Langzeitarchivierung gewährleistet PEBW
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) | Series (GF) | LNM 1429 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2202000309932 |
Literaturangaben
Homer, Steven: Logic and Computer Science
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31