Yazar
Goguen, Joseph, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Format:
Electronic Resources
Alıntı:
Algebraic semantics of imperative programs / Goguen, Joseph, author.
Yazar
Gärdenfors, Peter, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731150
Format:
Electronic Resources
Alıntı:
Geometry of meaning : semantics based on conceptual spaces / Gärdenfors, Peter, author.
View Other Search Results
Yazar
Winskel, G., (Glynn) author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format:
Electronic Resources
Alıntı:
The formal semantics of programming languages : an introduction / Winskel, G., (Glynn) author.
Yazar
Bruce, Kim B., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267232
Format:
Electronic Resources
Alıntı:
Foundations of object-oriented languages : types and semantics / Bruce, Kim B., author.
Yazar
Fellbaum, Christiane.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267389
Format:
Electronic Resources
Alıntı:
Semantics -- Data processing.
Yazar
Regier, Terry, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267429
Format:
Electronic Resources
Alıntı:
The human semantic potential : spatial language and constrained connectionism / Regier, Terry
Yazar
Reps, Thomas W., (Thomas William) author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325
Format:
Electronic Resources
Alıntı:
Programming languages (Electronic computers) -- Semantics.
Yazar
Gallant, Stephen I., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267393
Format:
Electronic Resources
Alıntı:
COMPUTERS -- Intelligence (AI) & Semantics.
Yazar
Pfeifer, Rolf, 1947-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267319
Format:
Electronic Resources
Alıntı:
COMPUTERS -- Intelligence (AI) & Semantics.
Yazar
Nerode, Anil, 1932-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format:
Electronic Resources
Alıntı:
University.Topics include: Stable Semantics. Autoepistemic Logic. Abduction. Implementation Issues. Well-founded
Yazar
Pierce, Benjamin C., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469
Format:
Electronic Resources
Alıntı:
theoretical computer science, especially in programming language semantics, domain theory, and concurrency
Yazar
Fensel, Dieter.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267259
Format:
Electronic Resources
Alıntı:
Spinning the semantic web : bringing the World Wide Web to its full potential / Fensel, Dieter.
Arama Sonuçlarını Sınırlandır
Daraltılmış: