Incremental theory reasoning methods for semantic tableaux Bernhard Beckert and Christian Pape. Universität Karlsruhe, Fakultät für Informatik
Materialtyp:
TextSprache: Englisch Reihen: ; 96,2 | Universität Karlsruhe (TH) Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 96,2 | Verlag: Karlsruhe Univ., Fak. für Informatik 1996Beschreibung: 16 SInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 1
- Archivierung/Langzeitarchivierung gewährleistet PEBW
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Reports (B) | Karlsruhe UNI INF IB 2/96 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | Reports MPI | 2000000084336 |
Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Reports (B), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
| Karlsruhe UNI INF IB 2/92 The SIS project: software reuse with a natural language approach | Karlsruhe UNI INF IB 2/93 Temporal logic programming with metric and past operators based on constraint logic programming | Karlsruhe UNI INF IB 2/94 Translating E-,R-diagrams into consistent database specifications | Karlsruhe UNI INF IB 2/96 Incremental theory reasoning methods for semantic tableaux | Karlsruhe UNI INF IB 2/97 Feasible models of computation three dimensionality and energy consumption | Karlsruhe UNI INF IB 29/92 Netzwerk-Management theoretische Basis - Blick in die Realität; Seminar Wintersemester 1991/92 | Karlsruhe UNI INF IB 29/94 The semantics of rational contractions |
Archivierung prüfen 20231104 DE-640 1 pdager
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31