Yazar
Omodeo, Eugenio G. author.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
View Other Search Results
Yazar
Gopal, T.V. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Ghosh, Sujata. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Weil, Pascal. editor.
Format:
Electronic Resources
Alıntı:
Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia
Yazar
Zeume, Thomas. author.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Koutny, Maciej. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
de Moura, Leonardo. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Du, Dingzhu. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
El Abbadi, Amr. editor.
Format:
Electronic Resources
Alıntı:
Computer Communication Networks. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Menzies, Tim. editor. (orcid)0000-0002-5040-3196
Format:
Electronic Resources
Alıntı:
Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050
Yazar
Li, Lian. editor.
Format:
Electronic Resources
Alıntı:
Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14
Arama Sonuçlarını Sınırlandır
Daraltılmış: