Higher-Order Automated Theorem Proving for Natural Language Semantics

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
SEKI Report ; 98,04

Ereignis
Veröffentlichung
(wo)
Kaiserslautern
(wer)
Technische Universität Kaiserslautern, Fachbereich Informatik
(wann)
1998
Urheber
Kohlhase, Michael
Konrad, Karsten

URN
urn:nbn:de:hbz:386-kluedo-3912
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:21 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Kohlhase, Michael
  • Konrad, Karsten
  • Technische Universität Kaiserslautern, Fachbereich Informatik

Entstanden

  • 1998

Ähnliche Objekte (12)

Equality and extensionality in automated higher-order theorem proving

Hochschulschrift

Equality and extensionality in automated higher-order theorem proving

Equality and extensionality in automated higher-order theorem proving

Hochschulschrift | Online-Publikation

Equality and extensionality in automated higher-order theorem proving

Automated theorem proving

Automated theorem proving

Automated theorem proving

Automated theorem proving

Automated theorem proving in software engineering

Automated theorem proving in software engineering

Automated theorem proving for dependent typed theories via a translation to higher-order logic

Automated theorem proving for dependent typed theories via a translation to higher-order logic

Proving theorems of higher-order logic with SMT solvers

Hochschulschrift

Proving theorems of higher-order logic with SMT solvers

Proving Theorems of Higher-Order Logic with SMT Solvers

Hochschulschrift

Proving Theorems of Higher-Order Logic with SMT Solvers

First order logic and automated theorem proving

First order logic and automated theorem proving

First order logic and automated theorem proving

First order logic and automated theorem proving

Simplification and reduction for automated theorem proving

Hochschulschrift

Simplification and reduction for automated theorem proving

Automated theorem proving for general game playing

Hochschulschrift

Automated theorem proving for general game playing

Verbundene Objekte