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

Autor: Yves Bertot

Knihy
paperback
Kategorie: Aplikovaná matematika
Běžná cena: 82.91 EUR (2080 Kč)
Sleva: -31 %
Naše cena: 56.38 EUR (cca 1414 Kč)
(cena aktualizována 23.09.2024)

Doprava zdarma do České republiky a na Slovensko více

Komentáře čtenářů a knižní recenze: Amazon

Objednat

Neplatný požadavek.