Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859)
Da California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 27 ottobre 2023
Nuovi - Brossura
Quantità: Più di 20 disponibili
Aggiungere al carrello