Frontiers of combining systems third International Workshop, Nancy, France, March 22 - 24, 2000 ; proceedings FroCoS 2000. Hélène Kirchner ... (ed.)
Materialtyp:
TextSprache: Englisch Reihen: ; 1794 | Lecture notes in computer science ; 1794Verlag: Berlin Heidelberg [u.a.] Springer 2000Beschreibung: X, 289 S graph. Darst 24 cmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540672818
- Logic, symbolic and mathematical -- Congresses
- Computer science -- Congresses
- Logic, Symbolic and mathematical
- Computer science
- Automatisches Beweisverfahren
- Constraint Künstliche Intelligenz
- Deduktionssystem
- Computeralgebra
- Entscheidungsproblem
- Mathematische Logik
- Lineare Optimierung
- Automatisches Beweisverfahren
- Constraint Künstliche Intelligenz
- Deduktionssystem
- Computeralgebra
- Entscheidungsproblem
- Mathematische Logik
- Lineare Optimierung
- QA9.A1
- 28 | 27
- SS 4800
- *00B25
- 68-06
- 54.10
- 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) | LNCS LNAI 1794 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000155357 |
Kirchner, Hélène, 1952 - : Frontiers of Combining Systems
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31