- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540741046
- Dimensions
-
24 cm
- Extent
-
XVI, 304 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 285 - 297
- Keyword
-
Entscheidungsverfahren
Mathematische Logik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2008
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:44 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kroening, Daniel
- Strichman, Ofer
- Springer
Time of origin
- 2008
Other Objects (12)
Decision procedures for loop detection
Optimal sequentially planned decision procedures
Hierarchic decision procedures for verification
Decision procedures for linear arithmetic
Ethnography and analysis: a test of some algorithmic procedures
Ethnography and analysis: a test of some algorithmic procedures
Algorithmic decision theory : third international conference ; proceedings
Algorithmic decision theory : first international conference ; proceedings
Algorithmic decision theory : second international conference ; proceedings
Ethnic classifications in algorithmic decision-making processes
Simple decision procedures: an expository paper
Executive summary : [deduction and decision procedures]
Decision procedures for loop detection
Optimal sequentially planned decision procedures
Hierarchic decision procedures for verification
Decision procedures for linear arithmetic
Ethnography and analysis: a test of some algorithmic procedures
Ethnography and analysis: a test of some algorithmic procedures
Algorithmic decision theory : third international conference ; proceedings
Algorithmic decision theory : first international conference ; proceedings
Algorithmic decision theory : second international conference ; proceedings
Ethnic classifications in algorithmic decision-making processes
Simple decision procedures: an expository paper
Executive summary : [deduction and decision procedures]
Decision procedures for loop detection
Optimal sequentially planned decision procedures
Hierarchic decision procedures for verification
Decision procedures for linear arithmetic
Ethnography and analysis: a test of some algorithmic procedures
Ethnography and analysis: a test of some algorithmic procedures
Algorithmic decision theory : third international conference ; proceedings
Algorithmic decision theory : first international conference ; proceedings
Algorithmic decision theory : second international conference ; proceedings
Ethnic classifications in algorithmic decision-making processes
Simple decision procedures: an expository paper