Yazar
Karydis, Ioannis. editor.
Format:
Electronic Resources
Alıntı:
distributed architectures for cloud-based data management.
Yazar
Kerber, Manfred. editor.
Format:
Electronic Resources
Alıntı:
Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management
View Other Search Results
Yazar
Beierle, Christoph. editor.
Format:
Electronic Resources
Alıntı:
information, information fusion, integrity and constraint management, intelligent agents, knowledge discovery
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: