Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609
Format:
Electronic Resources
Alıntı:
Arithmetic and logic units, Computer.
View Other Search Results
Yazar
Wasilewska, Anita. author.
Format:
Electronic Resources
Alıntı:
Logics for Computer Science Classical and Non-Classical / Wasilewska, Anita. author.
Yazar
Fomin, Fedor V. editor.
Format:
Electronic Resources
Alıntı:
Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia
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
Artemov, Sergei. editor.
Format:
Electronic Resources
Alıntı:
Arithmetic and Logic Structures. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Draheim, Dirk. author.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Bi, Yuanguo. editor.
Format:
Electronic Resources
Alıntı:
Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050
Yazar
Lachiche, Nicolas. editor.
Format:
Electronic Resources
Alıntı:
Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6
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
Patitz, Matthew J. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Arama Sonuçlarını Sınırlandır
Daraltılmış: