Yazar
Danaev, Nargozy. editor.
Format:
Electronic Resources
Alıntı:
management, processing and security -- Technological process automation and control -- New information
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