Automated theorem proving : theory and practice ; includes CD-ROM

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
0387950753
Maße
24 cm
Umfang
XIII, 231 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturverz. S. 208 - 210

Schlagwort
Automatisches Beweisverfahren

Ereignis
Veröffentlichung
(wo)
New York, Berlin, Heidelberg, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
(wer)
Springer
(wann)
2001
Urheber
Newborn, Monroe

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 12:20 MEZ

Datenpartner

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

Beteiligte

  • Newborn, Monroe
  • Springer

Entstanden

  • 2001

Ähnliche Objekte (12)

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 General Game Playing

Hochschulschrift

Automated Theorem Proving for General Game Playing

First order logic and automated theorem proving

First order logic and automated theorem proving

Automated theorem proving for general game playing

Hochschulschrift

Automated theorem proving for general game playing

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

Decomposition Techniques and their Applications in Automated Theorem Proving

Decomposition Techniques and their Applications in Automated Theorem Proving

Higher-Order Automated Theorem Proving for Natural Language Semantics

Higher-Order Automated Theorem Proving for Natural Language Semantics

Equality and extensionality in automated higher-order theorem proving

Hochschulschrift | Online-Publikation

Equality and extensionality in automated higher-order theorem proving

Equality and extensionality in automated higher-order theorem proving

Hochschulschrift

Equality and extensionality in automated higher-order theorem proving

Verbundene Objekte