Yazar
Kerber, Manfred. editor.
Format:
Electronic Resources
Alıntı:
Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management
View Other Search Results
Yazar
Watt, Stephen M. editor.
Format:
Electronic Resources
Alıntı:
-- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: