Toward Computer-Aided Induction: A Brief Review of Currently Implemented Aqval Programs
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) |
| Buy this book |
Find it on Amazon.com
|
| Call number | QA9.45.I4 no. 874 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Development of Programs for the Foundations of Mathematics in the First Third of the 20th Century.Solomon Feferman - manuscript
On Teaching Computer Ethics Within a Computer Science Department.Michael J. Quinn - 2006 - Science and Engineering Ethics 12 (2):335-343.
Hybrid Probabilistic Logic Programs as Residuated Logic Programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Yaq: A 360 Assembler Version of the Algorithm Aq and Comparison with Other Pl/I Programs.Edward Yalow - 1977 - Department of Computer Science, University of Illinois at Urbana-Champaign.
Machine Learning of Higher-Order Programs.Ganesh Baliga, John Case, Sanjay Jain & Mandayam Suraj - 1994 - Journal of Symbolic Logic 59 (2):486-500.
Programs in the Explanation of Behavior.Robert Cummins - 1977 - Philosophy of Science 44 (June):269-87.
Analytics
Added to PP index
2009-01-28
Total views
0
Recent downloads (6 months)
0
2009-01-28
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
