The Online Books Page

Recursive functions

See also what's at Wikipedia, your library, or elsewhere.

• Algorithms
• Arithmetic -- Foundations
• Logic, Symbolic and mathematical
• Number theory
• Recursion theory

• Definability theory (Mathematical logic)
• Machine theory
• Unsolvability (Mathematical logic)

• Functions, Recursive

• Degrees of unsolvability in the theory of programming languages, (Urbana, Dept. of Computer Science, University of Illinois, [1971]), by Dennis F. Cudia (page images at HathiTrust)
• Orderings for term-rewriting systems / (Urbana, Illinois : Dept. of Computer Science, University of Illinois at Urbana-Champaign, August 1979), by Nachum Dershowitz, University of Illinois at Urbana-Champaign. Dept. of Computer Science, and National Science Foundation (U.S.) (page images at HathiTrust)
• The theory of definability, part two : notes for the seminar conducted by J.W. Addison, Spring semester 1964. (Berkeley : Dept. of Mathematics, University of California, [1964?]), by J. W. Addison and Berkeley. Department of Mathematics University of California (page images at HathiTrust; US access only)
• Lecture notes on recursive arithmetic. ([Princeton? N.J., 1963?]), by James R. Guard (page images at HathiTrust)
• Design of recursive digital filters having specified phase and magnitude characteristics / (Washington, D.C. : National Aeronautics and Space Administration : [For sale by the Clearinghouse for Federal Scientific and Technical Information, Springfield, Virginia 22151], 1972), by Robert E. King, Gregory W. Condon, U.S. Army Air Mobility Research and Development Laboratory, Langley Research Center, and United States National Aeronautics and Space Administration (page images at HathiTrust; US access only)
• Recursive computation of the coefficients of the time-dependent f and g series solution of Keplerian motion and a study of the convergence properties of the solution / (Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : For sale by the Clearinghouse for Federal Scientific and Technical Information, [1966]), by Victor R. Bond and Manned Spacecraft Center (U.S.) (page images at HathiTrust)
• Estimation of variance by a recursive equation / (Washington, D.C. : National Aeronautics and Space Administration, 1969), by M. Melvin Bruce, Langley Research Center, and United States National Aeronautics and Space Administration (page images at HathiTrust)
• Theory of recursive functions and effective computability. ([Cambridge? Mass.], c1957-), by Hartley Rogers (page images at HathiTrust)
• Some recursive function theory and certain of its related topics. ([Urbana, Ill.?], c1960), by Albert Alkins Mullin (page images at HathiTrust)
• Recursive equivalence types, (Berkeley, University of California Press, 1960), by J. C. E. Dekker and John Myhill (page images at HathiTrust; US access only)

• The theory of definability, part two : notes for the seminar conducted by J.W. Addison, Spring semester 1964. (Berkeley : Dept. of Mathematics, University of California, [1964?]), by J. W. Addison and Berkeley. Department of Mathematics University of California (page images at HathiTrust; US access only)

• Algorithmic Information Theory (based on the third printing, 1990), by Gregory J. Chaitin (PDF at Maine)
• Information-Theoretic Incompleteness, by Gregory J. Chaitin (Postscript at Maine)
• The Unknowable, by Gregory J. Chaitin (illustrated HTML at Maine)
• De gli avtomati, ouero, Machine se moventi, libri duo / (In Venetia : Appresso Girolamo Porro, 1589), by Hero of Alexandria and Bernardino Baldi (page images at HathiTrust)
• Theory of machines. ([Leipzig?, 187-?]), by Franz Grashof (page images at HathiTrust; US access only)
• A note on Atrubin's real-time iterative multiplier / (Urbana, Illinois : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1974), by Lakshmi N Goyal (page images at HathiTrust)
• On the automorphism group of a reduced automaton / (Urbana, Ill. : Dept. of Computer Science, University of Illinois, [1966]), by Manfred Paul (page images at HathiTrust)
• Some theorems and algorithms on a new form of decomposition for automata, (Urbana, 1965), by Arthur Ta-shiang Pu (page images at HathiTrust)
• Weak congruence relations on graphs / (Urbana. Ill. Dept. of Computer Science, 1966), by Raymond Tzuu-Yau Yeh (page images at HathiTrust)
• Su gli automi de signori padre e figlio Droz, Elveti : e su due recentissimi effalmatori che ora viaggiar fannosi per Italia a pubblico-pressolata mostra sei dissertazione archeologica, con note critiche e spiegative / (Voghera : Dalla Tipografia Sormani, 1828), by Paolo Ricchini, Henri-Louis Jacquet Droz, and Pierre Jaquet-Droz (page images at HathiTrust)
• Machine intelligence and robotics : report of the NASA Study Group : final report. ([Washington, D.C.? : National Aeronautics and Space Administration], 1980), by NASA Study Group on Machine Intelligence and Robotics and United States National Aeronautics and Space Administration (page images at HathiTrust)
• The construction of living robots / (New York : Edmund C. Berkeley & Associates, 1952), by Edmund Callis Berkeley (page images at HathiTrust; US access only)
• The history and analysis of the supposed automaton chess player of M. de Kempelen, now exhibiting in this country by Mr. Maelzel; with lithographic figures, illustrative of the probable method by which its motions are directed. (Boston, Hilliard, Gray, 1826), by Gamaliel Bradford (page images at HathiTrust)
• Introduction to the theory of finite-state machines. (New York : McGraw-Hill, 1962), by Arthur Gill (page images at HathiTrust)
• Reliable computation in the presence of noise (Cambridge, Mass., M.I.T. Press, [c1963]), by S. Winograd and J. D. Cowan (page images at HathiTrust)
• Performance evaluation of programmable robots and manipulators : report of a workshop held at Annapolis, Maryland, October 23-25, 1975 / (Washington : U.S. Dept. of Commerce, National Bureau of Standards : for sale by the Supt. of Docs., U.S. Govt. Print. Off., 1976), by Md.) Workshop on Performance Evaluation of Programmable Robots and Manipulators (1975 : Annapolis, Thomas B. Sheridan, Thomas B. Sheridan and Associates, and United States. National Bureau of Standards (page images at HathiTrust)
• Automata theory; advanced concepts in information processing systems. ([Ann Arbor]), by University of Michigan. Engineering Summer Conferences (page images at HathiTrust)
• M-460 program notes : Some LISP routines for manipulating automata /, by Thomas V. Griffiths and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• Application of logic to the design of computing machines. Final report /, by Arthur W. Burks, John Holland, Hao Wang, University of Michigan. Department of Philosophy, and United States. Air Force. Office of Scientific Research (page images at HathiTrust)
• The logic of automata, by Arthur W. Burks, Hao Wang, United States. Air Force. Office of Scientific Research, and University of Michigan. Engineering Research Institute (page images at HathiTrust)
• Logical characterization of automata /, by Sullivan G. Campbell, Gordon H. Jr Rosser, United States. Air Force. Office of Scientific Research, and Duke University (page images at HathiTrust)
• Theory of probability state variable systems., by L. O. Gilstrap, R. J. Lee, M. J. Pedelty, Inc. Adaptronics, and sponsor Air Force Avionics Laboratory (page images at HathiTrust)
• Automata Old and New, by Conrad William Cooke (Gutenberg ebook)

• Practical Artificial Intelligence Programming With Java (third edition, c2008), by Mark Watson (PDF at markwatson.com)
• Artificial Intelligence and Responsive Optimization (second edition, 2003), by Mohammad Khosnevisan, Sukanto Bhattacharya, and Florentin Smarandache (PDF at UNM)
• Are We Spiritual Machines? Ray Kurzweil vs. the Critics of Strong A.I. (c2002), ed. by Jay W. Richards, contrib. by Ray Kurzweil, John R. Searle, Michael J. Denton, William A. Dembski, Thomas S. Ray, and George F. Gilder (at kurzweilai.net)
• Artificial Intelligence (third edition, reprinted with corrections; Reading, MA et al.: Addison-Wesley Pub. Co., 1993), by Patrick Henry Winston (PDF at MIT)
• The Age of Intelligent Machines (c1992), by Ray Kurzweil (at kurzweilai.net)
• Artificial Intelligence and Games (2018), by Georgios N. Yannakakis and Julian Togelius (PDF with commentary at gameaibook.org)
• The Boundaries of Humanity: Humans, Animals, Machines (Berkeley: University of California Press, 1991), ed. by James J. Sheehan and Morton Sosna (HTML at UC Press)
• Artificial Intelligence Through Prolog (1988), by Neil C. Rowe (HTML at nps.edu)
• How Mobile Robots can Self-Organise a Vocabulary (Berlin: Language Science Press, c2015), by Paul Vogt
  • PDF wih commentary at langsci-press.org
  • PDF at OAPEN
• Applications of Robotics and Artificial Intelligence to Reduce Risk and Improve Effectiveness: A Study for the United States Army (1983), by National Research Council Commission on Engineering and Technical Systems (page images with commentary at NAP)
• When Things Start to Think (c1999), by Neil A. Gershenfeld (HTML with commentary at kurzweilai.net)
• Elements of Robotics (Cham: Springer Open, c2018), by M. Ben-Ari and Francesco Mondada (PDF and EPub with commentary at EPFL and Springer)
• Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp (c1992), by Peter Norvig (multiple formats with commentary at Github)
• From Bricks to Brains: The Embodied Cognitive Science of LEGO Robots (Edmonton: AU Press, c2010), by Michael Robert William Dawson, Brian Dupuis, and Michael Wilson (PDF with commentary at AU Press)
• The Computer Revolution in Philosophy: Philosophy, Science and Models of Mind (1978, with added notes and corrections), by Aaron Sloman (HTML and PDF with commentary in the UK)
• The Origin and Its Meaning, by Roger Ellman (PDF files at the-origin.org)
• A Review of and recommendations for procedures used to evaluate the external effectiveness of intelligent tutoring systems / (Alexandria, Va. : United States Army Research Institute for the Behavioral and Social Sciences, 1991), by Peter J. Legree and Philip D. Gillis (page images at HathiTrust)
• Decision support systems for ecosystem management : an evaluation of existing systems. (Fort Collins, Colo. : U.S. Dept. of Agriculture, Forest Service, Rocky Mountain Forest and Range Experiment Station, [1997]), by H. Todd Mowrer and Colo.) Rocky Mountain Forest and Range Experiment Station (Fort Collins (page images at HathiTrust)
• A computer decision-making process for the elimination of noise from data / (Hanscom AFB, MA : Atmospheric Sciences Division, Air Force Geophysics Laboratory, [1987]), by R. O. Berthel (page images at HathiTrust)
• Discourse understanding / (Champaign, Ill. : University of Illinois at Urbana-Champaign ; Cambridge, Mass. : Bolt Beranek and Newman Inc., [1986]), by R. J. H. Scha, Livia Polanyi, Bertram C. Bruce, National Institute of Education (U.S.), Beranek Bolt, and University of Illinois at Urbana-Champaign. Center for the Study of Reading (page images at HathiTrust)
• An introduction to artificial intelligence : a self-study text / (Fort Benjamin Harrison, Ind. : United States Army Institute of Personnel & Resource Management, 1985), by Kenneth H. Rose (page images at HathiTrust)
• Building problem solvers / (Cambridge, Mass. : MIT Press, ©1993), by Kenneth D. Forbus and Johan De Kleer (page images at HathiTrust)
• 1992 Goddard Conference on Space Applications of Artificial Intelligence : proceedings of a conference held at Goddard Space Flight Center, Greenbelt, Maryland, May 5-6, 1992 / (Washington, D.C. : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1992), by Goddard Conference on Space Applications of Artificial Intelligence (7th : 1992 : Goddard Space Flight Center) and James L. Rash (page images at HathiTrust)
• Computer program for analysis of imperfection sensitivity of ring stiffened shells of revolution / (Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : For sale by the National Technical Information Service [distributor], 1971), by Gerald A. Cohen, Langley Research Center, and Philco-Ford Corporation (page images at HathiTrust)
• Assessing the impact of modeling limits on intelligent systems / (Washington, D.C. : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division ; Springfield, Va. : For sale by the National Technical Information Service, 1990), by William B. Rouse, John M. Hammer, Langley Research Center, and Inc Search Technology (page images at HathiTrust)
• Fourth Annual Workshop on Space Operations Applications and Research (SOAR '90) : proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., the U.S. Air Force, Washington, D.C., and cosponsored by the University of New Mexico, and held in Albuquerque, New Mexico, June 26-28, 1990 / (Washington, D.C. : National Aeronautics and Space Administration, 1991), by N.M.) Workshop on Space Operations Applications and Research (SOAR '90) (4th : 1990 : Albuquerque, Robert T. Savely, University of New Mexico, United States Air Force, and United States National Aeronautics and Space Administration (page images at HathiTrust)
• Eidolyzer: a hardware realization of context-guided picture interpretation. (Urbana, Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1971), by Arthur Simons (page images at HathiTrust)
• Sociopathic knowledge bases : correct knowledge can be harmful even given unlimited computation / (Urbana, Illinois : Department of Computer Science, University of Illinois, 1989), by David C. Wilkins and Yong author Ma (page images at HathiTrust)
• A system monitor for programs in artificial intelligence / (Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1974), by Tze-Wah Wong (page images at HathiTrust)
• Navy Center for Applied Research in Artificial Intelligence. (Washington, DC : Naval Research Laboratory, [1989]), by Naval Research Laboratory (U.S.) (page images at HathiTrust)
• Environmental scan report on artificial intelligence : strategy considerations for the U.S. Department of the Treasury. ([Washington, D.C.?] : Dept. of the Treasury, Internal Revenue Service, 1984), by United States Internal Revenue Service (page images at HathiTrust)
• Quality measures and assurance for AI software / ([Washington, D.C.] : National Aeronautics and Space Administration, Scientific and Technical Information Division, 1988), by John Rushby and United States. National Aeronautics and Space Administration. Scientific and Technical Information Division (page images at HathiTrust)
• In-depth understanding : a computer model of integrated processing for narrative comprehension / (Alexandria, Va. : distributed by Defense Technical Information Center, Defense Logistics Agency, 1982), by Michael George Dyer (page images at HathiTrust)
• Artificial intelligence and language comprehension / (Washington : U.S. Dept. of Health, Education, and Welfare, National Institute of Education, 1976), by Terry Winograd and National Institute of Education (U.S.) (page images at HathiTrust)
• Second Conference on Artificial Intelligence for Space Applications : proceedings of a conference / (Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Division ; [Springfield, Va. : For sale by National Technical Information Service], 1988), by Ala.) Conference on Artificial Intelligence for Space Applications (2nd : 1986 : Huntsville, Thomas Dollman, United States National Aeronautics and Space Administration, and University of Alabama (page images at HathiTrust)
• Fourth annual workshop on space operations applications and research (SOAR '90) : proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., the U.S. Air Force, Washington, D.C., and cosponsored by the University of New Mexico, Albuquerque, New Mexico, and held in Albuquerque, New Mexico, June 26-28, 1990 / (Washington, D.C. : National Aeronautics and Space Administration, 1991), by New Mexico) Workshop on Space Operations Applications and Research (SOAR '90 (4th : 1990 : Albuquerque, Robert T. Savely, University of New Mexico, United States Air Force, and United States National Aeronautics and Space Administration (page images at HathiTrust)
• Automated decision making and problem solving / (Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; [Springfield, Va. : For sale by the National Technical Information Service], 1981), by Ewald Heer, Langley Research Center, United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch, and Conference on Automated Decision Making and Problem Solving (1980 : Langley Research Center) (page images at HathiTrust)
• Fifth annual workshop on space operations applications and research (SOAR '91) : proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., the U.S. Air Force, Washington, D.C., and cosponsored by the University of Houston-Clear Lake, Houston, Texas, and held at Lyndon B. Johnson Space Center, Houston, Texas, July 9-11, 1991 / (Washington, D.C. : National Aeronautics and Space Administration, 1992), by Texas) Workshop on Space Operations Applications and Research (SOAR '91) (5th : 1991 : Houston, Kumer Krishen, University of Houston--Clear Lake, United States Air Force, and United States National Aeronautics and Space Administration (page images at HathiTrust)
• Artificial Intelligence and Robotics Symposium 6-7 November 1985 : symposium proceedings / TRADOC General Officer Steering Committee for Artificial Intelligence and Robotics, US Army Support Center. (Washington : GPO, 1986), by 1985 : Indianapolis Artificial Intelligence and Robotics Symposium (November 6-7, United States. Army Training and Doctrine Command, and US Army Soldier Support Center (page images at HathiTrust)
• Artificial intelligence with applications for aircraft / (Atlantic City Airport, N.J. : Federal Aviation Administration Technical Center ; Springfield, Va. : Available through the National Technical Information Service, [1994]), by L. Harrison, J. Janowitz, P. Saunders, Galaxy Scientific Corporation, and Federal Aviation Administration Technical Center (U.S.) (page images at HathiTrust)
• Machine intelligence and robotics : report of the NASA Study Group : final report. ([Washington, D.C.? : National Aeronautics and Space Administration], 1980), by NASA Study Group on Machine Intelligence and Robotics and United States National Aeronautics and Space Administration (page images at HathiTrust)
• Demand bibliography : machine intelligence / ([Alexandria, Va.] : Defense Technical Information Center, [1989]), by Defense Technical Information Center (U.S.) (page images at HathiTrust)
• Advanced automation for space missions : proceedings of the 1980 NASA/ASEE Summer Study / (Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; Springfield, Va. : For sale by the National Technical Information Service, 1982), by NASA/ASEE Summer Study (1980 : University of Santa Clara), William Gilbreath, Robert A. Freitas, American Society for Engineering Education, and United States National Aeronautics and Space Administration (page images at HathiTrust)
• 1999 CERN School of Computing, Stare Jabłonki, Poland, 12-25 September 1999 : proceedings / (Geneva : CERN European Organization for Nuclear Research, c2000), by Poland) CERN School of Computing (1999 : Stare Jabłonki, C. E Vandoni, and European Organization for Nuclear Research (page images at HathiTrust)
• 2000 CERN School of Computing, Marathon, Greece, 17-30 September 2000 : proceedings / (Geneva : CERN European Organization for Nuclear Research, c2000), by Greece) CERN School of Computing (2000 : Marathon, C. E. Vandoni, and European Organization for Nuclear Research (page images at HathiTrust)
• 1998 CERN School of Computing, Funchal, Madeira, Portugal, 6-19 September 1998 : proceedings / (Geneva : CERN European Organization for Nuclear Research, 1998), by Madeira Islands) CERN School of Computing (1998 : Funchal, C. E. Vandoni, and European Organization for Nuclear Research (page images at HathiTrust)
• DARPA neural network study final report / (Lexington, Mass. : The Laboratory, [1989]), by DARPA Neural Network Study (U.S.), United States. Air Force. Systems Command, and Lincoln Laboratory (page images at HathiTrust)
• The epistemological foundations of machine intelligence / (Wright-Patterson Air Force Base, Ohio : Air Force Avionics Laboratory, Research & Technology Division, Air Force Systems Command, 1963), by L. O. Gilstrap, M. J. Pedelty, and Inc. Adaptronics (page images at HathiTrust; US access only)
• Computer simulation of human thinking and problem solving / (Santa Monica, Calif. : Rand Corp., c1961), by Allen Newell and Herbert A. Simon (page images at HathiTrust; US access only)
• Navy Center for Applied Research in Artificial Intelligence. (Washington, DC : Naval Research Laboratory, [1986]), by Naval Research Laboratory (U.S.) (page images at HathiTrust)
• Machine intelligence and robotics : report of the NASA study group : final report. ([Washington : U.S. Govt. Print. Off.], 1980), by NASA Study Group on Machine Intelligence and Robotics and United States. Office of Aeronautics and Space Technology (page images at HathiTrust; US access only)
• The MedIndEx system : research on interactive knowledge-based indexing of the medical literature / ([Bethesda, Md.] : U.S. Dept. of Health and Human Services, Public Health Service, National Institutes of Health ; Springfield, VA : National Technical Information Service [distributor], [1988]), by Susanne M. Humphrey and Anil Kapoor (page images at HathiTrust)
• Artificial paranoia : an NIMH program report / (Rockville, Md. : U. S. Dept. of Health, Education, and Welfare, Public Health Service, Alcohol, Drug Abuse, and Mental Health Administration, Mental Health Studies and Reports Branch, Division of Scientific and Public Information, NationalInstitute of Mental Health, 1976), by Jim Warren, Kenneth Mark Colby, and National Institute of Mental Health (U.S.) (page images at HathiTrust)
• Le noiaphanisme, ou, système des combinaisons : nouvelle application de la vapeur pour remplacer le génie / (Chambéry : Chez J. Joly, 1844), by Jean Marie Dessaix (page images at HathiTrust)
• Technology collection trends in the US defense industry, 1998. ([Washington, D.C. : Defense Security Service], 1998), by Defense Security Institute (U.S.) (page images at HathiTrust)
• Artificial intelligence / (Washington, D.C. : Science Reference Section, Science and Technology Division, Library of Congress, [1986]), by Kay Rodgers and Library of Congress. Science and Technology Division. Reference Section (page images at HathiTrust)
• Space Network Control Conference on Resource Allocation Concepts and Approaches : report of a conference sponsored by NASA Goddard Space Flight Center, Greenbelt, Maryland, and held at Goddard Space Flight Center, December 12-13, 1990 / (Washington, D.C. : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va. : for sale by the National Technical Information Service], 1991), by Space Network Control Conference on Resource Allocation Concepts and Approaches (1990 : Goddard Space Flight Center), Karen L. Moe, United States National Aeronautics and Space Administration, and Goddard Space Flight Center (page images at HathiTrust)
• Artificial Intelligence and Robotics Symposium, part II : proceedings. ([Washington, D.C.?] : U.S. Army Training and Doctrine Command : U.S. Army Soldier Support Center, 1984-), by 1984 : Indianapolis Artificial Intelligence and Robotics Symposium Part II (September 12-13, United States. Army Training and Doctrine Command, and US Army Soldier Support Center (page images at HathiTrust)
• Space applications of automation, robotics and machine intelligence systems (ARAMIS) - phase II / (Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; [Springfield, Va. : For sale by the National Technical Information Service], 1983), by D. L. Akin, George C. Marshall Space Flight Center, United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch, and Massachusetts Institute of Technology (page images at HathiTrust)
• Spill response system configuration study / (Washington, D.C. : U.S. Coast Guard, Marine Safety and Environmental Protection ; Springfield, Va. : National Technical Information Service [distributor, 1996]), by John M. Agosta, Roberto V. Desimone, U.S. Coast Guard Research & Development Center, Logistics United States. Coast Guard. Office of Engineering, and SRI International (page images at HathiTrust)
• AQVAL/1 (AQ7) user's guide and program description / (Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1975), by James Larson and Ryszard Stanisław Michalski (page images at HathiTrust)
• Knowledge-based systems / (Urbana, Ill. : Dept. of Computer Science, University of Illinois at Urbana-Champaign, [1980]), by Donald Michie (page images at HathiTrust)
• Learning and generalization of structural descriptions : evaluation criteria and comparative review of selected methods / (Urbana, Ill. : Department of Computer Science, University of Illinois at Urbana-Champaign, [1980]), by Thomas Glenn Dietterich and Ryszard Stanislaw Michalski (page images at HathiTrust)
• Pattern recognition as knowledge-guided computer induction / (Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1978), by Ryszard Stanisław Michalski (page images at HathiTrust)
• Artificial intelligence and brain mechanisms. (Santa Monica, Calif., Rand Corp., 1963), by M. E. Maron (page images at HathiTrust)
• A new method of simulating the central nervous system using an automatic digital computer ([Ypsilanti, University of Michigan, Willow Run Laboratories], 1959), by John H. Holland, J.W. Crichton, United States. Army Electronics Command, and Willow Run Laboratories (page images at HathiTrust)
• An approach to machine intelligence, (Washington, Spartan Books, 1963), by Michael J Pedelty (page images at HathiTrust)
• Computational intelligence = Intelligence informatique (Boston, MA : Wiley-Blackwell; Ottawa : National Research Council of Canada = Conseil national de recherches du Canada, 1985-), by National Research Council Canada (page images at HathiTrust)
• Final report to the Office for Research, College of Agricultural Sciences / ([University Park, Pa. : Penn State, 1992]), by Michael Foster, Pennsylvania State University. Laboratory for Artificial Intelligence Applications, and Pennsylvania State University. College of Agricultural Sciences (page images at HathiTrust)
• A program for the solution of a class of geometric-analogy intelligence-test questions /, by Thomas G. Evans and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• Task performance with the CRL model 8 master-slave manipulator as a function of color-coding, distance, and practice. /, by D. Frederick Baker, Billy M. Crawford, United States. Air Force. Air Research and Development Command. sponsor, Aerospace Medical Laboratory (U.S.), and Wright Air Development Center issuing body (page images at HathiTrust)
• The unsolvability of the equivalence problem for -free nondeterministic generalized machines /, by Thomas V. Griffiths and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• The use of new technologies in Indiana Department of Transportation. Final report. (1992), by Thomas R. Kruse and Kumares C. Sinha (page images at HathiTrust)
• Knowledge acquisition methods for the IHSDM diagnostic review expert system. (1997), by Warren Edward Hughes, C. Schuckel, M. Smith, and Hugh W. McGee (page images at HathiTrust)
• Prototype expert system containership for stowage planning. User's manual. (1988), by J. Dillingham (page images at HathiTrust; US access only)
• Prototype expert system to provide decision support for stowage planning. Technical report. (1988), by G. W. Tam, T. Kotras, and J. Dillingham (page images at HathiTrust; US access only)
• National Traffic Data Acquisition Conference (NATDAC '94). Proceedings, volume II. Final report. (1994), by Donald A. Larsen, Dionysia F. Oliveira, and 18-22 Sept 1994 National Traffic Data Acquisition Conference (page images at HathiTrust)
• Development of a tire/pavement contact-stress model based on artificial neural networks. (2001), by Moustafa El-Gindy and Heidi Lewis (page images at HathiTrust)
• Collaborative research on road weather observations and predictions by universities, state DOTs and National Weather Service Forecast Offices. (2004), by Victoria Johnson, Darko Koracin, William Gallus, David Roy Fitzjarrald, Paul Knight, and John DeWitt Horel (page images at HathiTrust)
• Synergy and artificial intelligence / (Los Alamos, N.M. : Los Alamos Scientific Laboratory of the University of California, 1972), by Donald R. Conant, Los Alamos Scientific Laboratory, and U.S. Atomic Energy Commission (page images at HathiTrust)
• Artificial intelligence and expert systems : will they change the library? / ([Urbana-Champaign] : Graduate School of Library and Information Science, University of Illinois at Urbana-Champaign, c1992), by Clinic on Library Applications of Data Processing (27th : 1990 : University of Illinois at Urbana-Champaign), Linda C. Smith, and F. Wilfrid Lancaster (page images at HathiTrust)
• The symbolic coding of information on cathode ray tubes and similar displays /, by Paul F. Muller, Paul M. Fitts, Earl A. Alluisi, Alec J. Slivinske, Raymond C. Sidorsky, sponsor United States. Air Force. Air Research and Development Command, Ohio State University. Research Foundation, and Wright Air Development Center (page images at HathiTrust; US access only)
• Measuring the knowledge-content of programs / (Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1976), by Donald Michie (page images at HathiTrust; US access only)
• Artificial intelligence and language comprehension : National Institute of Education, Washington, D.C., February 1976. ([s.l.] : U. S. Dept. of Health, Education and Welfare, 1976), by National Institute of Education (U.S.) (page images at HathiTrust; US access only)
• The seeds of artificial intelligence : SUMEX-AIM / (Bethesda, Md. : U.S. Dept. of Health, Education, and Welfare, Public Health Service, National Institutes of Health ; Washington, D.C. : for sale by the Supt. of Docs., U.S. Govt. Print. Off., [1980]), by Gregory Freiherr and Research Resources Information Center (page images at HathiTrust)
• To strengthen American cognitive science for the twenty-first century : report of a planning workshop / (Washington, D.C. : National Science Foundation, [1992]), by National Science Foundation (U.S.) (page images at HathiTrust)
• A computer decision-making process for the elimination of noise from data /, by R. O. Berthel and U.S. Air Force Geophysics Laboratory (page images at HathiTrust)
• SYM-1, a program that detects symmetry of variable-valued logic functions / (Urbana : Dept of Computer Science, University of Illinois at Urbana-Champaign, 1975), by Gerald M. Jensen (page images at HathiTrust; US access only)
• Research in computer sciences /, by Hans H. Zschirnt and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• Report on Workshop on High Performance Computing and Communications for Grand Challenge Applications : computer vision, speech and natural language processing, and artificial intelligence / ([Urbana, IL: Center for Reliable and High Performance Computing, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 1992]), by Benjamin W. Wah (page images at HathiTrust)
• Data abstraction, databases, and conceptual modelling : an annotated bibliography / ([Washington, D.C.] : U.S. Dept. of Commerce, National Bureau of Standards : For sale by the Supt. of Docs., U.S. Govt. Print. Off., 1980), by Michael L. Brodie (page images at HathiTrust)
• Measuring the performance and intelligence of systems : proceedings of the 2000 PerMIS Workshop, August 14-16, 2000 / (Gaithersburg, Md. : The Institute ; Washington, DC : For sale by the Supt. of Docs., U.S. G.P.O., 2001), by Md.) Performance Metrics for Intelligent Systems Workshop (2000 : Gaithersburg, E. R. Messina, A. Meystel, and National Institute of Standards and Technology (U.S.) (page images at HathiTrust)

More items available under narrower terms.