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

Auteur: Yves Bertot

Livre
paperback
Catégorie: Mathématiques appliquées
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Prix moyen constaté: 82.91 EUR
Réduction: -31 %
Notre prix: 56.38 EUR
(prix mis à jour le 23.09.2024)

Livraison gratuite en France plus

Commentaires des lecteurs et revues: Amazon

Voir et commander

Recherche invalide.