- Sprache
-
Englisch
- Umfang
-
XVI, 304 S.
- ISBN
-
978-3-540-74104-6
- Identifier
-
985166533
- Reihe
-
Texts in theoretical computer science
- Thema
-
Entscheidungsverfahren ; Mathematische Logik
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:27 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.
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Ethnography and analysis: a test of some algorithmic procedures
Ethnography and analysis: a test of some algorithmic procedures
Hierarchic decision procedures for verification
Decision procedures for loop detection
Decision procedures for linear arithmetic
Algorithmic decision theory : first international conference ; proceedings
Algorithmic decision theory : second international conference ; proceedings
Ethnic classifications in algorithmic decision-making processes
Algorithmic decision theory : third international conference ; proceedings
Simple decision procedures: an expository paper
Executive summary : [deduction and decision procedures]
Acceptance conditions of algorithmic decision support in management
Ethnography and analysis: a test of some algorithmic procedures
Ethnography and analysis: a test of some algorithmic procedures
Hierarchic decision procedures for verification
Decision procedures for loop detection
Decision procedures for linear arithmetic
Algorithmic decision theory : first international conference ; proceedings
Algorithmic decision theory : second international conference ; proceedings
Ethnic classifications in algorithmic decision-making processes
Algorithmic decision theory : third international conference ; proceedings
Simple decision procedures: an expository paper
Executive summary : [deduction and decision procedures]
Acceptance conditions of algorithmic decision support in management
Ethnography and analysis: a test of some algorithmic procedures
Ethnography and analysis: a test of some algorithmic procedures
Hierarchic decision procedures for verification
Decision procedures for loop detection
Decision procedures for linear arithmetic
Algorithmic decision theory : first international conference ; proceedings
Algorithmic decision theory : second international conference ; proceedings
Ethnic classifications in algorithmic decision-making processes
Algorithmic decision theory : third international conference ; proceedings
Simple decision procedures: an expository paper
Executive summary : [deduction and decision procedures]