Searching for authors named "Wolfgang Bibel" – sorted by Relevance.
-
Contents
- Information Technology 1 Wolfgang Bibel Darmstadt University of Technology 22 September 2005 What
- Add To MetaCart
-
leanCoP: Lean Connection-Based Theorem Proving
- leanCoP: Lean Connection-Based Theorem Proving Jens Otten Wolfgang Bibel Fachgebiet Intellektik
- Cited by 9 (1 self) – Add To MetaCart
-
Cycle Unification
- Unification Wolfgang Bibel , Steffen Holldobler , Jorg Wurtz y Abstract Two-literal clauses
- Cited by 7 (3 self) – Add To MetaCart
-
Dagstuhl Seminar on Deduction
- Dagstuhl Seminar on Deduction Wolfgang Bibel Koichi Furukawa Mark Stickel Technische Hochschule
- Add To MetaCart
-
Non-Classical Automated Deduction
- Non-Classical Automated Deduction Wolfgang Bibel and Michael Thielscher FG Intellektik, Technische
- Cited by 9 (1 self) – Add To MetaCart
-
' $ % ' $ %
- Problem-Oriented Applications of Automated Theorem Proving Wolfgang Bibel and Daniel Korn
- Add To MetaCart
-
The Pleadings Game - An Artificial Intelligence Model of Procedural Justice
- .S.A. Referenten: Prof. Dr. Wolfgang Bibel Prof. Dr. Dr. Adalbert Podlech Prof. L. Thorne Mc
- Add To MetaCart

