Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
![]() | Książka w miękkiej okładce Kategoria: Matematyka stosowana Cena regularna: Rabat: -40 % Cena internetowa: 49.48 EUR (ok. 207.93 zł) (aktualizacja cen dnia 19.12.2025) Darmowa wysyłka do Polski więcej Ocena czytelnikόw i komentarze: Amazon |



















