Automation in Language Translation and Theorem Proving. Some Applications of Mathematical Logic

P Braffort, F van Scheepen [editors]

Editore: Euratom, 1968
Condizione: ottimo Brossura

Da Logic and Art, Novara, Italia

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

Venditore AbeBooks dal 24 febbraio 2014

Visualizza gli articoli del venditore


Usato - Brossura

Prezzo: EUR 20,00 Convertire valuta
Gratis per la spedizione in Italia Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungere al carrello