Computer Science Logic Jerzy Marcinkowski
53,49 €
Titel: Computer Science Logic, Untertitel: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, Einband: Taschenbuch, Autor: Jerzy Marcinkowski, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 538, Maße: 235x155x29 mm, Gewicht: 806 g, Verkäufer: buch-mimpf, Schlagworte: Informatik Logik Philosophie / Logik 3-SAT AI logics Erfüllbarkeitsproblem der Aussagenlogik Linear Logic calculus classical logic complexity computer science logic logic mathematical logic model checking proving term rewriting theorem proving verification.
Jetzt bei Ebay:
