Toward Computer-Aided Induction: A Brief Review of Currently Implemented Aqval Programs
Graduate studies at Western
Dept. Of Computer Science, University of Illinois at Urbana-Champaign (1977)
|Abstract||This article has no associated abstract. (fix it)|
|Keywords||AQVAL programs (Computer programs Many-valued logic Induction (Mathematics|
|Categories||categorize this paper)|
|Call number||QA9.45.I4 no. 874|
|External links||This entry has no external links. Add one.|
|Through your library||Configure|
Similar books and articles
Robert C. Cummins (1977). Programs in the Explanation of Behavior. Philosophy of Science 44 (June):269-87.
Ganesh Baliga, John Case, Sanjay Jain & Mandayam Suraj (1994). Machine Learning of Higher-Order Programs. Journal of Symbolic Logic 59 (2):486-500.
Edward Yalow (1977). Yaq: A 360 Assembler Version of the Algorithm Aq and Comparison with Other Pl/I Programs. Department of Computer Science, University of Illinois at Urbana-Champaign.
Carlos Viegas Damásio & Luís Moniz Pereira (2002). Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Studia Logica 72 (1):113 - 138.
Michael J. Quinn (2006). On Teaching Computer Ethics Within a Computer Science Department. Science and Engineering Ethics 12 (2):335-343.
Solomon Feferman, The Development of Programs for the Foundations of Mathematics in the First Third of the 20th Century.
Amnon H. Eden (2007). Three Paradigms of Computer Science. Minds and Machines 17 (2):135-167.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?