8 sonuç bulundu
Tümünü Seç
00000000DEFAULTTR
Yazar
Van Hentenryck, Pascal, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267352
Format:
Electronic Resources
Alıntı:
SCIENCE -- System Theory.
Yazar
Levesque, Hector J., 1951-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format:
Electronic Resources
Alıntı:
Expert systems (Computer science)
View Other Search Results
Yazar
Groote, J. F. (Jan Friso), 1965-, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6895438
Format:
Electronic Resources
Alıntı:
Modeling and analysis of communicating systems / Groote, J. F. (Jan Friso), 1965-, author.
Yazar
Pierce, Benjamin C., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321
Format:
Electronic Resources
Alıntı:
comprehensive introduction both to type systems in computer science and to the basic theory of programming
Yazar
Pollock, John L., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267427
Format:
Electronic Resources
Alıntı:
theory of rationality and its partial implementation in OSCAR, a computer system whose descendants will
Yazar
Shneiderman, Ben, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267337
Format:
Electronic Resources
Alıntı:
Information storage and retrieval systems.
Yazar
Gärdenfors, Peter, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731150
Format:
Electronic Resources
Alıntı:
Cognitive science.
Yazar
Hong, Sungook, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6940410
Format:
Electronic Resources
Alıntı:
Transformations: studies in the history of science and technology
8 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: