- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540969884
3540969888
9780387969886
0387969888
- Maße
-
24 cm
- Umfang
-
VIII, 489 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Schlagwort
-
Hardwareverifikation
Automatisches Beweisverfahren
Hardware
Verifikation (Datenverarbeitung)
Hardware
- Ereignis
-
Veröffentlichung
- (wo)
-
New York, Berlin, Heidelberg, London, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
1989
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:39 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Birtwistle, Graham M.
- Springer
Entstanden
- 1989
Ähnliche Objekte (12)
Automated theorem proving
Automated theorem proving
Automated theorem proving in software engineering
First order logic and automated theorem proving
First order logic and automated theorem proving
Simplification and reduction for automated theorem proving
Automated theorem proving for general game playing
Learning Normative Behaviour Through Automated Theorem Proving
Automated Theorem Proving for General Game Playing
Modeling and verification of distributed algorithms in theorem proving environments
Automated theorem proving : theory and practice ; includes CD-ROM
Equality and extensionality in automated higher-order theorem proving
Automated theorem proving
Automated theorem proving
Automated theorem proving in software engineering
First order logic and automated theorem proving
First order logic and automated theorem proving
Simplification and reduction for automated theorem proving
Automated theorem proving for general game playing
Learning Normative Behaviour Through Automated Theorem Proving
Automated Theorem Proving for General Game Playing
Modeling and verification of distributed algorithms in theorem proving environments
Automated theorem proving : theory and practice ; includes CD-ROM
Equality and extensionality in automated higher-order theorem proving
Automated theorem proving
Automated theorem proving
Automated theorem proving in software engineering
First order logic and automated theorem proving
First order logic and automated theorem proving
Simplification and reduction for automated theorem proving
Automated theorem proving for general game playing
Learning Normative Behaviour Through Automated Theorem Proving
Automated Theorem Proving for General Game Playing
Modeling and verification of distributed algorithms in theorem proving environments
Automated theorem proving : theory and practice ; includes CD-ROM