Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Automated Reasoning  - 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Leider kein Bild vorhanden

Automated Reasoning

5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

2010 - Erschienen 2010.

Produktart:
📚 Bücher
Autor(en):
Giesl, Jürgen und Reiner Hähnle:
Anbieter:
Buchpark GmbH
Bestell-Nr.:
814274412
Katalog:
Varia
ISBN:
3642142028
EAN:
9783642142024
Stichworte:

satisfiability, testing, logic, datalog, temporal, programming, automated, reasoning, rewriting, techniques, deduction, query, languages, theorem, proving, analytic, tableaux, verification, policy, monitoring, computer, aided

Angebotene Zahlungsarten
Vorauskasse, PayPal
gebraucht, sehr gut 31,72 EUR 28,55 EUR Kostenloser Versand
Sonderaktion: 10% Rabatt bis 04.07.2024

Ähnliche Bücher, die interessant für Sie sein könnten Autor: Jürgen Giesl, Reiner Hähnle Verlag: Springer Berlin,

Sparen Sie Versandkosten bei Buchpark GmbH durch den Kauf weiterer Artikel