Automation in language translation and theorem proving. Some applications of mathematical logic
Braffort, P. / F. van Scheepen (Ed.) -
Da Antiquariat Smock, Freiburg, Germania
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 15 novembre 2010
Usato - Rilegato
Quantità: 1 disponibili
Aggiungere al carrello