Yazar
Sikos, Jennifer. editor.
Format:
Electronic Resources
Alıntı:
Knowledge based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I21030
Yazar
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634
Format:
Electronic Resources
Alıntı:
Knowledge based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I21030
View Other Search Results
Yazar
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634
Format:
Electronic Resources
Alıntı:
Knowledge based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I21030
Yazar
Fred, Ana. editor.
Format:
Electronic Resources
Alıntı:
Knowledge based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I21030
Yazar
Baptista, Jorge. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet).
Yazar
Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472
Format:
Electronic Resources
Alıntı:
Knowledge based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I21030
Yazar
Alviano, Mario. editor. (orcid)0000-0002-2052-2063
Format:
Electronic Resources
Alıntı:
Information Systems and Communication Service. https://scigraph.springernature.com/ontologies
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
Fermé, Eduardo. editor.
Format:
Electronic Resources
Alıntı:
-- Verification of Context-Sensitive Knowledge and Action Bases -- System Descriptions System aspmt2smt: Computing
Yazar
Hitzler, Pascal. editor.
Format:
Electronic Resources
Alıntı:
Knowledge based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I21030
Arama Sonuçlarını Sınırlandır
Daraltılmış: