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

Autor: Yves Bertot

Kniha
paperback
Kategória: Aplikovaná matematika
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Bežná cena knihy: 82.91 EUR
Zľava: -31 %
Naša cena knihy: 56.38 EUR
(cena aktualizovaná 23.09.2024)

Doručenie zdarma na Slovensko viac

Komentáre čitateľov a knižné recenzie: Amazon

Zobraziť a objednať

Neplatná požiadavka.