Isbn: 9783528055745 - the efficiency of theorem proving strategies: a comparative and asymptotic analysis (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 disponibile
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 5 stelleCondizione: Usato - Buono
EUR 31,87
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Condizione: Good.
