Yazar
Kohlhase, Michael. editor.
Format:
Electronic Resources
Alıntı:
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July
Yazar
Hinze, Ralf. editor.
Format:
Electronic Resources
Alıntı:
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany
View Other Search Results
Yazar
Bansal, Nikhil. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
Leucker, Martin. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
Ciobanu, Gabriel. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872
Format:
Electronic Resources
Alıntı:
Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I
Yazar
Nipkow, Tobias. author.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Serrano, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Lifschitz, Vladimir. author.
Format:
Electronic Resources
Alıntı:
countries. It includes numerous examples of ASP programs and present the mathematical theory that ASP is
Yazar
Iida, Shusaku. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
Arama Sonuçlarını Sınırlandır
Daraltılmış: