11 sonuç bulundu
Tümünü Seç
00000000000DEFAULTTR
Yazar
Paskevich, Andrei. editor.
Format:
Electronic Resources
Alıntı:
Theory of Computation. http://scigraph.springernature.com/things/product-market-codes/I16005
Yazar
Gurfinkel, Arie. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs.
View Other Search Results
Yazar
Piskac, Ruzica. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Wang, K.C. author.
Format:
Electronic Resources
Alıntı:
provides a wide range of knowledge about computer system software and advanced programming skills, allowing
Yazar
Crespi Reghizzi, Stefano. author.
Format:
Electronic Resources
Alıntı:
language structures are elegantly explained in terms of the underlying theory, without requiring the use of
Yazar
Tjoa, A Min. editor. (orcid)0000-0002-8295-9252
Format:
Electronic Resources
Alıntı:
Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018
Yazar
Geuvers, Herman. editor. (orcid)0000-0003-2522-2980
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Nayak, Abhaya C. editor. (orcid)0000-0003-0681-9570
Format:
Electronic Resources
Alıntı:
Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005
Yazar
Pitts, Andrew. editor.
Format:
Electronic Resources
Alıntı:
2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015
Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
-- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs.
11 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: