„Sortierte Logik“

Suchergebnisse

5 Treffer

• Superposition: Types and Induction
  Wand, Daniel ; Weidenbach, Christoph 2017 Saarländische Universitäts- und Landesbibliothek
• A mechanization of sorted higher-order logic based on the resolution principle
  Kohlhase, Michael ; Siekmann, Jörg 2007 Saarländische Universitäts- und Landesbibliothek
• A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
  Kohlhase, Michael 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• A mechanization of sorted higher-order logic based on the resolution principle
  Kohlhase, Michael
• Computational aspects of a first-order logic with sorts
  Weidenbach, Christoph