instance, modal and epistemic logics, model checking, constraint logic programming, and distributed constraint satisfaction.
Produkteigenschaften
- Artikelnummer: 9783642113543
- Medium: Buch
- ISBN: 978-3-642-11354-3
- Verlag: Springer
- Erscheinungstermin: 17.02.2010
- Sprache(n): Englisch
- Auflage: 2010
- Serie: Lecture Notes in Computer Science
- Produktform: Kartoniert
- Gewicht: 423 g
- Seiten: 263
- Format (B x H x T): 155 x 235 x 16 mm
- Ausgabetyp: Kein, Unbekannt
