Decision procedures : an algorithmic point of view / Daniel Kroening; Ofer Strichman
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchVerlagsnummer: 12021093Sprache: Englisch Reihen: Texts in theoretical computer science an EATCS seriesVerlag: Berlin ; Heidelberg : Springer, 2008Beschreibung: XVI, 304 S. : Ill., graph. Darst. ; 243 mm x 163 mmISBN:- 9783540741046
- 3540741046
- mathematics of computing
- discrete mathematics
- graph theory
- Entscheidungsverfahren
- Mathematische Logik
- Artificial Intelligence (incl. Robotics)
- Artificial intelligence
- Computer science
- Information theory
- Logic design
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Software engineering
- Theory of Computation
Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
---|---|---|---|---|---|---|---|---|---|
Handbibliothek | Fakultät für Informatik | D.Krö | Handbibliothek (Ausleihe und Einsicht nicht möglich) | D.Krö(56056) | Ausgeliehen Ausleihe und Einsicht nicht möglich | 15.01.2034 | 000639426090 | ||
Handbibliothek | ITI | Handbibliothek (Ausleihe und Einsicht nicht möglich) | 2008 A 2562 | Ausgeliehen Ausleihe und Einsicht nicht möglich | 04.02.2033 | 49195490090 |
Anzahl Vormerkungen: 0