Searching for authors named Norbert Eisinger – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
Reasoning on the Web with Rules and Semantics
- …/PU/b1 Norbert Eisinger, Jan Maªuszy«ski Summer School board, Paula-Lavinia P trânjan Munich, Linkoeping…
- Add To MetaCart
-
Problem Solving with Model-Generation Approaches based on PUHR Tableaux
- … 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)
- … 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
-
EU FP6 Network of Excellence (NoE)
- …/PU/b1 Norbert Eisinger, Jan Maªuszy«ski Nicola Henze Munich, Linkoeping; Dresden, Hannover, Heraklion…
- Add To MetaCart
-
IST506779/Munich+Linkoeping/E-D12/D/PU/b1
- …/PU/b1 Norbert Eisinger, Jan Małuszyński Summer School board, Cristina Baroglio Munich, Linkoeping…
- Add To MetaCart
-
Contents CONTENTS
- …. FRANÇOIS BRY DR. NORBERT EISINGER 2 Contents CONTENTS 1 Introduction 6 1.1 Motivation…
- Add To MetaCart
-
The Theorem Prover
- …��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
- … 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
- …��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
- …A Confluent Connection Calculus Peter Baumgartner, Norbert Eisinger, Ulrich Furbach 23…
- Cited by 11 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
