40 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Cristea, Diana. editor. (orcid)0000-0003-1440-3786
Format:
Electronic Resources
Alıntı:
) originated in the 1980s in Darmstadt as a subfield of mathematical order theory, with prior developments in
Yazar
Fred, Ana. editor.
Format:
Electronic Resources
Alıntı:
Knowledge based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I21030
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Baptista, Jorge. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet).
Yazar
Demri, Stéphane. editor.
Format:
Electronic Resources
Alıntı:
-- Implementing Tableau Calculi Using BDDs: BDDTab System Description -- Approximations for Model Construction
Yazar
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
Format:
Electronic Resources
Alıntı:
Knowledge based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I21030
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
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
Calimeri, Francesco. editor.
Format:
Electronic Resources
Alıntı:
-- Multi-Level Algorithm Selection for ASP -- Clause-Learning For Modular Systems -- Solving disjunctive fuzzy
40 sonuç bulundu