Monografie

Proving theorems of higher-order logic with SMT solvers

zu Verbundenen Objekten

Sprache
Englisch
Umfang
X, 118 S.
Anmerkungen
München, Techn. Univ., Diss., 2012
Identifier
1032438088

Thema
Hochschulschrift

Beteiligte Personen und Organisationen
Böhme, Sascha

Inhaltsverzeichnis
Rechteinformation
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
Letzte Aktualisierung
15.04.2024, 08:51 MESZ

Datenpartner

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

Objekttyp

  • Monografie

Beteiligte

  • Böhme, Sascha

Ähnliche Objekte (12)

Proving Theorems of Higher-Order Logic with SMT Solvers

Monografie

Proving Theorems of Higher-Order Logic with SMT Solvers

Higher-Order Automated Theorem Proving for Natural Language Semantics

Monografie

Higher-Order Automated Theorem Proving for Natural Language Semantics

Equality and extensionality in automated higher-order theorem proving

Monografie

Equality and extensionality in automated higher-order theorem proving

First order logic and automated theorem proving

Monografie

First order logic and automated theorem proving

First order logic and automated theorem proving

Monografie

First order logic and automated theorem proving

Automated theorem proving

Monografie

Automated theorem proving

Automated theorem proving

Monografie

Automated theorem proving

Distributing equational theorem proving

Monografie

Distributing equational theorem proving

Proving Linearizability with Temporal Logic

Monografie

Proving Linearizability with Temporal Logic

Requirement-based cooperative theorem proving

Monografie

Requirement-based cooperative theorem proving

Theorem proving in large theories

Monografie

Theorem proving in large theories

An Extensible Theorem Proving Frontend

Monografie

An Extensible Theorem Proving Frontend

Verbundene Objekte