Ortrun Ibens und Zitiert - Info zur Person

(1 - 6 von 6

)

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-.

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 ...

A Blackboard Architecture for the Integration of Reasoning ...Universität des Saarlandes

publikationen.sulb.uni-saarland.de

von V Sorge · · Zitiert von: 15 — [184] Johann Schumann and Ortrun Ibens. SETHEO V3.3 Reference Manual. (Draft). Institut f¿ur Informatik, TU M¿unchen, [185] Christian Schwarzweller.

Copyright by Benjamin Price Shults 1997The University of Texas at Austin

www.cs.utexas.edu

von BP SHULTS · · Zitiert von: 1 — [75] Ortrun Ibens and Reinholt Letz. Subgoal alternation in model elimination. In Didier. Galmiche, editor, Automated Reasoning with Analytic Tableaux and ...

The CADE-14 ATP System CompetitionUniversity of Miami

www.cs.miami.edu

von CB Suttner · Zitiert von: 38 — Ortrun Ibens. RRTP. M. Paramasivam, David Plaisted. SCOTT. John Slaney, Kahlil Hodgson. SETHEO. Ortrun Ibens. SPASS V Christoph Weidenbach.

Alle Infos zum Namen "Ortrun Ibens"

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