Yazar
Zeume, Thomas. author.
Format:
Electronic Resources
Alıntı:
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity / Zeume
Yazar
Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849
Format:
Electronic Resources
Alıntı:
AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI
View Other Search Results
Yazar
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Balduccini, Marcello. editor.
Format:
Electronic Resources
Alıntı:
Computational complexity.
Yazar
Barrett, Clark. editor. (orcid)0000-0002-9522-3084
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Schmidt, Renate A. editor.
Format:
Electronic Resources
Alıntı:
; formalization and complexity. Also included are papers of three invited speakers.
Yazar
Artemov, Sergei. editor.
Format:
Electronic Resources
Alıntı:
computational complexity -- Parameterized complexity -- Logic programming and constraints -- Automated deduction
Yazar
Yang, Hongseok. editor.
Format:
Electronic Resources
Alıntı:
Using Partial Orders -- The Power of Non-Determinism in Higher-Order Implicit Complexity -- The Essence
Arama Sonuçlarını Sınırlandır
Daraltılmış: