Ihre Suche nach "decision procedures" ergab 5 Treffer
lieferbar innerhalb 2-3 Wochen
Buch
EUR 164,28*
Moshe Jarden, Michael D. Fried
Field Arithmetic
lieferbar innerhalb 2-3 Wochen
Buch
EUR 251,89*
Logic-Based Program Synthesis and Transformation
lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,51*
Automated Reasoning
lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
Automated Reasoning
lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.