Automated Theorem Proving

Wolfgang Bibel

ISBN 10: 3528085207 ISBN 13: 9783528085209
Editore: Vieweg & Teubner, 1982
Lingua: Tedesco
Condizione: Nuovo Brossura

Venduto da preigu, Osnabrück, Germania

Venditore AbeBooks dal 5 agosto 2024

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Nuovi - Brossura

Condizione: Nuovo

Prezzo:
EUR 54,99
EUR 70,00 shipping
Ships from Germania to U.S.A.

Quantità: 5 disponibili

Aggiungere al carrello