MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "KoMeT." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 20 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • SEdit - Graphically Validating Technical Systems  
  • by Gerd Große, Christoph S. Herrmann, Enno Sandner, Enno S
  • … by an adaption of Ohlbach/Nonnegart's approach [4] to a first-order logic formula and passed to the KoMeT [1…
  • Add To MetaCart
  • From the AAR President, Larry Wos...  
  • by Maiora Meliora This, Geoff Sutcliffe
  • … proofs from the provers Discount [2], KoMeT [1], and Setheo [4]. These proofs are converted into block…
  • Add To MetaCart
  • Dagstuhl Seminar on Deduction  
  • by Wolfgang Bibel, Koichi Furukawa, Mark Stickel, Technische Hochschule Darmstadt — 1995
  • … provers SETHEO and KoMeT are automatically translated into the Block Calculus. A natural language La…
  • Add To MetaCart
  • Guiding Program Development Systems by a Connection Based Proof Strategy  
  • by Christoph Kreitz, Jens Otten, Stephan Schmitt, Fachgebiet Intellektik, Fachbereich Informatik, Technische Hochschule Darmstadt — 1996 — 5 th International Workshop on Logic Program Synthesis and Transformation, Lecture Notes in Computer Science 1048
  • …. On the other hand, theorem provers like Setheo [9], Otter [20], or KoMeT [2] have demonstrated that formal…
  • Cited by 20 (14 self) – Add To MetaCart
  • Problem-oriented applications of automated theorem proving  
  • by W. Bibel, D. Korn, C. Kreitz, S. Schmitt, Fachgebiet Intellektik, Fachbereich Informatik, Technische Hochschule Darmstadt — 1996 — Design and Implementation of Symbolic Computation Systems, LNCS 1126
  • …- KoMeT (Rath) Putnam Uniform extension procedure (Otten) NF proof Inverse logic morphism (Korn) NNF…
  • Cited by 8 (4 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
  • … Intuitionistic Input Transfor- mation process NF proof NF formula NNF proof KoMeT (Rath) output Uniform…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB