MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Wolfgang Bibel" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Contents  
  • by Wolfgang Bibel, Neil Maccormick — 2005
  • …Information Technology 1 Wolfgang Bibel Darmstadt University of Technology 22 September 2005 What…
  • Add To MetaCart
  • Cycle Unification  
  • by Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz — 1992 — CADE
  • … Unification Wolfgang Bibel , Steffen Holldobler , Jorg Wurtz y Abstract Two-literal clauses…
  • Cited by 7 (3 self) – Add To MetaCart
  • Dagstuhl Seminar on Deduction  
  • by Wolfgang Bibel, Koichi Furukawa, Mark Stickel, Technische Hochschule Darmstadt — 1995
  • …Dagstuhl Seminar on Deduction Wolfgang Bibel Koichi Furukawa Mark Stickel Technische Hochschule…
  • Add To MetaCart
  • Non-Classical Automated Deduction  
  • by Wolfgang Bibel, Michael Thielscher, Fg Intellektik, Technische Hochschule Darmstadt, D-- Darmstadt (germany — 1996 — In Automated Reasoning: Essays in Honor of Woody Bledsoe
  • …Non-Classical Automated Deduction Wolfgang Bibel and Michael Thielscher FG Intellektik, Technische…
  • Cited by 9 (1 self) – Add To MetaCart
  • ' $ % ' $ %  
  • by In Calmet And, Wolfgang Bibel, Daniel Korn, Christoph Kreitz, Stephan Schmitt, W. Bibel, D. Korn, C. Kreitz, S. Schmitt, Fachgebiet Intellektik, Fachgebiet Intellektik, Fachbereich Informatik, Fachbereich Informatik, Technische Hochschule Darmstadt — 1996 — Design and Implementation of Symbolic Computation Systems, LNCS 1126
  • …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  
  • by Vom Fachbereich Informatik, Der Technischen Hochschule Darmstadt, Thomas F. Gordon, Referenten Prof, Dr. Wolfgang Bibel, Prof Dr, Dr. Adalbert Podlech, Prof L. Thorne Mccarty — 1995
  • ….S.A. Referenten: Prof. Dr. Wolfgang Bibel Prof. Dr. Dr. Adalbert Podlech Prof. L. Thorne Mc…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB