Yazar
Harel, David, 1950-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format:
Electronic Resources
Alıntı:
Dynamic logic / Harel, David, 1950-
View Other Search Results
Yazar
Benthem, Johan van, 1949-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151
Format:
Electronic Resources
Alıntı:
Logic in games / Benthem, Johan van, 1949-
Yazar
Reis, André Inácio. editor.
Format:
Electronic Resources
Alıntı:
Advanced Logic Synthesis Reis, André Inácio. editor.
Yazar
Weber, Erik. editor.
Format:
Electronic Resources
Alıntı:
Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social
Yazar
Roth, Charles H.
Format:
Kitap
Alıntı:
Fundamentals of logic design / Roth, Charles H.
Yazar
Seiffertt, John. author.
Format:
Electronic Resources
Alıntı:
Arithmetic and Logic Structures. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Silver, Bruce. author.
Format:
Electronic Resources
Alıntı:
Grammar, Philosophy, and Logic Silver, Bruce. author.
Yazar
Eijck, J. van (Jan)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format:
Electronic Resources
Alıntı:
Logic and information flow / Eijck, J. van (Jan)
Yazar
Trypuz, Robert. editor.
Format:
Electronic Resources
Alıntı:
Krister Segerberg on Logic of Actions Trypuz, Robert. editor.
Yazar
Gabbay, Dov M. editor.
Format:
Electronic Resources
Alıntı:
Handbook of Philosophical Logic Volume 17 / Gabbay, Dov M. editor.
Yazar
Rutten, J. J. M. M.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format:
Electronic Resources
Alıntı:
Logic programming languages : constraints, functions, and objects / Rutten, J. J. M. M.
Arama Sonuçlarını Sınırlandır