Ortrun Ibens - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 5 von 5

)

A MODEL DRIVEN APPROACH FOR THE AUTOMATED ...anastasakis.net

kyriakos.anastasakis.net

von K ANASTASAKIS · · Zitiert von: 16 — [98] Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Jo- hann Schumann, and Klaus Mayr. SETHEO and E-SETHEO - the CADE

An Efficient Tableau for Reasoning over General Linear TimeThe University of Western Australia

research-repository.uwa.edu.au

von J Bian · · Zitiert von: 2 — [HI94] Reiner Hähnle and Ortrun Ibens. Improving Temporal Logic. Tableaux Using Integer Constraints. In Temporal Logic, 1st Inter-.

Joe Leslie-Hurd's Bibliographygilith.com

www.gilith.com

The resulting calculus thus keeps the best properties of completion while giving up only part of the goal-directedness. [329], Max Moser, Ortrun Ibens, Reinhold ...

SETHEO and E-SETHEO - The CADE-13 SystemsProQuest

search.proquest.com

von M Moser · · Zitiert von: 103 — MAX MOSER, ORTRUN IBENS, REINHOLD LETZ,. JOACHIM STEINBACH, CHRISTOPH GOLLER,. JOHANN SCHUMANN, and KLAUS MAYR⋆. Institut für Informatik, Technische ...

Künstliche Intelligenz und Intellektik an der Technischen ...Deutsches Museum

www.deutsches-museum.de

— Mitgearbeitet hatten im Schwerpunkt von Seiten der FGKI Letz, Klaus Mayr, Ortrun Ibens, Joa- chim Draeger, Christoph Goller und Gernot Stenz ...

Verwandte Suchanfragen zu Ortrun Ibens

Christoph Goller
Johann Schumann
Klaus Mayr

Reinhold Letz
Karl Uwe Ibens
Inge Fiehn

Andreas Krüger
Gisela Ibens

Personen
Vorname "Ortrun" (243)
Name "Ibens" (12)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Ortrun Ibens

A MODEL DRIVEN APPROACH FOR THE AUTOMATED ...anastasakis.net

An Efficient Tableau for Reasoning over General Linear TimeThe University of Western Australia

Joe Leslie-Hurd's Bibliographygilith.com

SETHEO and E-SETHEO - The CADE-13 SystemsProQuest

Künstliche Intelligenz und Intellektik an der Technischen ...Deutsches Museum