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

Auteur: Yves Bertot

Boek
paperback
Categorie: Toegepaste wiskunde
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Normale boekprijs: 82.91 EUR
Korting: -31 %
Onze boekprijs: 56.38 EUR
(prijs bijgewerkt op 23.09.2024)

Gratis verzending in Nederland meer

Reacties en beoordelingen van lezers: Amazon

Bekijken en bestellen

Ongeldig verzoek.