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

Szerző: Yves Bertot

Könyv
paperback
Kategória: Alkalmazott matematika
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Bolti ár: 82.91 EUR
Kedvezmény: -31 %
A mi ajánlatunk: 56.38 EUR
(az ár frissült 23.09.2024)

Ingyenes szállítás Magyarországra több

Olvasók véleménye és könyvajánlók: Amazon

Nézd meg és rendelj

Érvénytelen kérés.