Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Autore: Yves Bertot

Libro
paperback
Categoria: Matematica applicata
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Prezzo pieno: 82.91 EUR
Sconto: -31 %
Il nostro prezzo: 56.38 EUR
(prezzo aggiornato il 23.09.2024)

Spedizione gratuita in Italia
Commenti dei lettori e recensioni del libro: Amazon

Vai e ordina

Richiesta non valida.