Campusbibliothek

Ihre Suche erzielte 6 Treffer.

Sortieren
Ergebnisse
1.
Incremental algorithms for managing temporal constraints A. Gerevini; A. Perini; F. Ricci von Reihen: ; 19960507 | Istituto per la Ricerca Scientifica e Tecnologica IRST technical report ; 19960507 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Povo (Trento) Istituto per la Ricerca Scientifica e Tecnologica 1996
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9605-07.
2.
Accelerating partial order planners by emphasizing deductive choices A. Gerevini; L. Schubert von Reihen: ; 19950211 | Istituto per la Ricerca Scientifica e Tecnologica IRST technical report ; 19950211 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Trento Istituto per la Ricerca Scientifica e Tecnologica 1995
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9502-11.
3.
Reasoning with inequations in temporal constraint networks A. Gerevini; M. Cristiani von Reihen: ; 19950311 | Istituto per la Ricerca Scientifica e Tecnologica IRST technical report ; 19950311 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Trento Istituto per la Ricerca Scientifica e Tecnologica 1995
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9503-11.
4.
An efficient method for managing disjunctions in qualitative temporal reasoning von Reihen: Istituto Trentino di Cultura (ITC) / Istituto per la Ricerca Scientifica e Tecnologica (IRST) : Technical Report
Materialtyp: Text Text; Format: Druck ; Literarische Form: Sachliteratur
Verlag: Istituto Trentino di Cultura (ITC) 1994
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9402-03.
5.
On computing the minimal labels in time point algebra networks A. Gerevini; L. Schubert von Reihen: IRST technical report ; 9408-10
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Trento Istituto per la Ricerca Scientifica e Tecnologica 1994
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9408-10.
6.
Consistency and path-consistency for STN≠ M. Cristiani; A. Gerevini von Reihen: IRST technical report ; 9408-09
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Trento Istituto per la Ricerca Scientifica e Tecnologica 1994
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Povo IRST # 9408-09.
Seiten

Impressum

Datenschutzhinweise

Powered by Koha