15 research outputs found
Annual Report 1999 / Department for Computer Science
Get PDFSelbstdarstellung des Instituts für Informatik der BTU Cottbus und Berichte der Lehrstühle für das Jahr 1999.Presentation of the Department for Computer Science of the BTU Cottbus and reports of the chairs at the department for the year 1999
Grafische Realzeitunterstuetzung fuer Fernhandhabungsvorgaenge in komplexen Arbeitsumgebungen im Rahmen eines Systems zur Steuerung, Simulation und Off-Line- Programmierung
Get PDF
Entwurf, vergleichende Bewertung und Integration eines Arbeitsplanerstellungssystems für Drehteile
Get PDFNeuere Entwicklungen der deklarativen KI-Programmierung : proceedings
Get PDFThe field of declarative AI programming is briefly characterized. Its recent developments in Germany are reflected by a workshop as part of the scientific congress KI-93 at the Berlin Humboldt University. Three tutorials introduce to the state of the art in deductive databases, the programming language Gödel, and the evolution of knowledge bases. Eleven contributed papers treat knowledge revision/program transformation, types, constraints, and type-constraint combinations
Jahresbericht der Fakultät für Informatik und der mit ihr verbundenen Informatikeinrichtungen. 2006
Get PDFJahresbericht der Fakultät für Informatik und der mit ihr verbundenen Informatikeinrichtungen. 2003
Get PDFJahresbericht der Fakultät für Informatik und der mit ihr verbundenen Informatikeinrichtungen. 2002
Get PDF
