Ohlbach, Hans-Jürgen
Hans Jürgen Ohlbach Dr. rer. nat. Universität Kaiserslautern 1988
VIAF ID: 22315506 ( Personal )
Permalink: http://viaf.org/viaf/22315506
Preferred Forms
- 100 0 _ ‡a Hans Jürgen Ohlbach ‡c Dr. rer. nat. Universität Kaiserslautern 1988
- 200 _ | ‡a Ohlbach ‡b Hans Jürgen
-
- 100 1 _ ‡a Ohlbach, Hans Jürgen
-
- 100 1 0 ‡a Ohlbach, Hans Jürgen
-
- 100 1 _ ‡a Ohlbach, Hans Jürgen
-
-
- 100 1 _ ‡a Ohlbach, Hans Jürgen
- 100 1 _ ‡a Ohlbach, Hans Jürgen
-
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Computational treatment of temporal notions the CTTN system | |
Computer support for the development and investigation of logics | |
Context Logic | |
Deduction systems based on resolution | |
Deduktionssysteme : Automatisierung des logischen Denkens / hrsg. von K. H. Bläsius und H.-J. Bürckert. - München ; Wien, 1987. | |
Design Patterns für mathematische Beweise Ein Leitfaden insbesondere für Informatiker | |
Functional translation and second-order frame properties of modal logics | |
GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence : Bonn, Germany, August 31-September 3, 1992 : proceedings | |
INFORMATIK 2008 : Beherrschbare Systeme, dank Informatik : München, 08-13.09.2008, Bd. 2 | |
Killer transformations | |
Logic, language and reasoning : essays in honour of Dov Gabbay | |
Markgraf Karl refutation procedure the logic engine | |
Modelling agents with logic extended abstract PRACMA | |
multi-dimensional terminological knowledge representation language | |
PPSWR 2004 | |
Practical reasoning. - Berlin, 1996. | |
Preprints of proceedings of GWAI 92 | |
Principles and practice of semantic web reasoning : second international workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004 : proceedings | |
Quantifier elimination in second-order predicate logic | |
A Resolution Calculus for Modal Logics | |
Solving a problem in relevance logic with an automated theorem prover | |
Synthesizing semantics for extensions of propositional logic | |
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings | |
Theory unification in abstract clause graphs | |
Towards automating duality | |
Translating grated modalities into predicate logic | |
Translation methods for non-classical logics an overview | |
Using Automated Reasoning Techniques for Deductive Databasis |