Yazar
Van-Roy, Peter, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353
Format:
Electronic Resources
Alıntı:
Concepts, techniques, and models of computer programming / Van-Roy, Peter, author.
Yazar
International Conference on Logic Programming (10th : 1993 : Budapest, Hungary)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format:
Electronic Resources
Alıntı:
Logic programming : proceedings of the Tenth International Conference on Logic Programming /
View Other Search Results
Yazar
Bergadano, Francesco, 1963-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format:
Electronic Resources
Alıntı:
Inductive logic programming : from machine learning to software engineering / Bergadano, Francesco
Yazar
Clancey, William J.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267473
Format:
Electronic Resources
Alıntı:
explore cognitively oriented empirical trials that use AI programming as a modeling methodology and that
Yazar
Nisan, Noam, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276865
Format:
Electronic Resources
Alıntı:
knowledge of hardware architecture, operating systems, programming languages, compilers, data structures
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
Reed, Daniel A. (Daniel Allen), 1957-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267463
Format:
Electronic Resources
Alıntı:
contributors explore techniques for I/O optimization, including: I/O characterization to understand application
Yazar
Sterling, Leon S., editor.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format:
Electronic Resources
Alıntı:
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / Sterling
Yazar
Nardi, Bonnie A., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418
Format:
Electronic Resources
Alıntı:
A small matter of programming : perspectives on end user computing / Nardi, Bonnie A., author.
Yazar
Burn, Geoffrey, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234
Format:
Electronic Resources
Alıntı:
Functional programming languages.
Yazar
Aït-Kaci, Hassan, 1954-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format:
Electronic Resources
Alıntı:
Logic programming.
12.
Yazar
Chlipala, Adam, 1981-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486
Format:
Electronic Resources
Alıntı:
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /