Automation in Language Translation and Theorem Proving. Some Applications of Mathematical Logic
P Braffort, F van Scheepen [editors]
Da Logic and Art, Novara, Italia
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 24 febbraio 2014
Usato - Brossura
Quantità: 1 disponibili
Aggiungere al carrello