9783528055745 - the efficiency of theorem proving strategies: a comparative and asymptotic analysis di plaisted, david a.; zhu, yunshan (2 risultati)
Lingua: Inglese
Editore: Braunschweig, Wiesbaden: Vieweg & Sohn Verlagsgesellschaft, 1997
- Brossura
Da: Antiquariat Bernhardt, Kassel, GermaniaAntiquariat Bernhardt
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 36,00
EUR 49,90 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Broschiert Broschiert. Condizione: Sehr gut. VI, 167 Seiten, Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei.… Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 236.
Lingua: Tedesco
Editore: Vieweg+Teubner Verlag
- Brossura
Da: Buchmarie, Darmstadt, GermaniaBuchmarie
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Buono
EUR 31,87
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Good.
