Yazar
Hanus, Michael. editor.
Format:
Electronic Resources
Alıntı:
Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying
Yazar
Kerber, Manfred. editor.
Format:
Electronic Resources
Alıntı:
Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management
View Other Search Results
Yazar
Seki, Hirosato. editor.
Format:
Electronic Resources
Alıntı:
Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM
Yazar
Fletcher, George. editor.
Format:
Electronic Resources
Alıntı:
Graph Data Management Fundamental Issues and Recent Developments / Fletcher, George. editor.
Yazar
Shokin, Yuri. editor. (orcid)0000-0002-5178-8294
Format:
Electronic Resources
Alıntı:
-- Using an Ontological Model for Transfer Knowledge Between Universities -- Management of Oil
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
Yazar
Hong, Hoon. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory
Arama Sonuçlarını Sınırlandır
Daraltılmış: