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

Författare: Yves Bertot

Bok
paperback
Kategori: Tillämpad matematik
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Normalt bokpris: 82.91 EUR
Rabatt: -31 %
Vårt bokpris: 56.38 EUR
(pris uppdaterat den 23.09.2024)

Gratis leverans till Sverige mer

Läsarens kommentar och bokrecensioner: Amazon

Se och beställ

Ogiltig begäran.