Computer Science Logic Johann M. Makowsky
106,99 €
Titel: Computer Science Logic, Untertitel: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, Einband: Taschenbuch, Autor: Johann M. Makowsky, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 608, Maße: 235x155x33 mm, Gewicht: 908 g, Verkäufer: buch-mimpf, Schlagworte: Informatik Logik Philosophie / Logik Sprache / Formale Sprache AI logics Constraint Satisfaction Semantics algorithm algorithms classical logic complexity computer science logic higher order logic logic logical foundations mathematical logic model checking proof theory verification.
Jetzt bei Ebay:
