Searching for authors named "Norbert Eisinger" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

Problem Solving with Model-Generation Approaches based on PUHR Tableaux
by Norbert Eisinger, Norbert Eisinger, Tim Geisler, Tim Geisler — 1998 — In Proc. Workshop on Problemsolving Methodologies with Automated Deduction, Workshop at the Fifteenth Int. Conf. on Automated Reasoning
… Norbert Eisinger, Tim Geisler In Proc. Problem-solving Methodologies with Automated Deduction, workshop…
Cited by 3 (0 self) – Add To MetaCart

The Tableau Browser SNARKS (System Description)
by Mathias Kettner, Mathias Kettner, Norbert Eisinger, Norbert Eisinger — 1997 — 14th International Conference on Automated Deduction CADE'97, volume 1249 of LNCS
… and Norbert Eisinger appeared in Proc. 14th Int. Conf. on Automated Deduction (CADE), Springer LNAI 1997 http…
Cited by 3 (3 self) – Add To MetaCart

The Theorem Prover
by Satchmo Strategies, Slim Abdennadher, Norbert Eisinger, Tim Geisler — 1995 — In IV`emes Journ'ees Francophones de Programmation en Logique
…��cois Bry, Norbert Eisinger, Tim Geisler Institut fur Informatik Universitat Munchen Germany Pr'esentation d…
Add To MetaCart

Web Services for Teaching: A Case Study
by François Bry, Norbert Eisinger, Norbert Eisinger, Georg Schneemayer, Georg Schneemayer — 2003 — In Proc. First International Conference on Web Services (ICWS'03), Las Vegas
… Oettingenstrae 67, D{80538 Munchen Web Services for Teaching: A Case Study Francois Bry, Norbert Eisinger…
Cited by 2 (0 self) – Add To MetaCart

SIC: An Interactive Tool for the Design of Integrity Constraints
by François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge — 1998 — In Proc. Demo Session, Session of the Sixth Int. Conf. on Extending Database Technology
…��cois Bry Norbert Eisinger Heribert Schutz Sunna Torge 1 1 Introduction Integrity constraints…
Cited by 3 (3 self) – Add To MetaCart

A Confluent Connection Calculus
by Peter Baumgartner, Peter Baumgartner, Norbert Eisinger, Norbert Eisinger, Ulrich Furbach, Ulrich Furbach — 1998 — Proc. 16th International Conference on Automated Deduction, CADE-16
…A Confluent Connection Calculus Peter Baumgartner, Norbert Eisinger, Ulrich Furbach 23…
Cited by 10 (2 self) – Add To MetaCart

Chaining with Memory in Xcerpt
by Benedikt Linse, Norbert Eisinger, Clemens Ley, Tim Furche, François Bry — 2008
… Benedikt Linse 1 , Norbert Eisinger 1 , Clemens Ley 2 , Tim Furche 1 , François Bry 1 1 Institute…
Add To MetaCart

Contents CONTENTS
by Alexander Pohl, Dr. Norbert Eisinger
…. FRANÇOIS BRY DR. NORBERT EISINGER 2 Contents CONTENTS 1 Introduction 6 1.1 Motivation…
Add To MetaCart

SIC: Satisfiability Checking for Integrity Constraints
by François Bry, Norbert Eisinger, Norbert Eisinger, Heribert Schütz, Heribert Schutz, Sunna Torge, Sunna Torge — 1998 — In Proc. Deductive Databases and Logic Programming, Workshop at the Joint International Conference and Symposium on Logic Programming
…, Norbert Eisinger, Heribert Schutz, Sunna Torge appeared in Proc. Deductive Databases and Logic Programming…
Cited by 9 (3 self) – Add To MetaCart

Deduction Systems Based on Resolution
by Norbert Eisinger, Norbert Eisinger, Hans Jürgen Ohlbach, Hans Jurgen Ohlbach, Fur Informatik — 1991
… Technical Report ECRC-91-1 Deduction Systems Based on Resolution Norbert Eisinger and Hans Jurgen Ohlbach…
Cited by 18 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB