The Online Books Page

Recursively enumerable sets

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

• Recursion theory

• Enumerable sets, Recursively
• Sets, Recursively enumerable

• Enumeration without repetition (Washington, D.C. : Mathematical Sciences Directorate, Air Force Office of Scientific Research, 1961., 1961), by Hilary Putnam, United States. Air Force. Office of Scientific Research, and New York University. Institute of Mathematical Sciences (page images at HathiTrust)

Items below (if any) are from related and broader terms.

• A recursion relation associated with a certain special type determinant (National Aeronautics and Space Administration, 1963), by E. Baylis Shanks and George C. Marshall Space Flight Center (page images at HathiTrust)
• A recursively defined ordering for proving termination of term rewriting systems (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1978), by David A. Plaisted (page images at HathiTrust)
• The recursive nature of descriptions : a fixed point (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1975), by Larry J. Peterson and University of Illinois at Urbana-Champaign. Dept. of Computer Science (page images at HathiTrust)

• Some recursive function theory and certain of its related topics. ([Urbana, Ill.?], 1960), by Albert Alkins Mullin (page images at HathiTrust)
• Theory of recursive functions and effective computability. ([Cambridge? Mass.], 1957), by Hartley Rogers (page images at HathiTrust)
• Lecture notes on recursive arithmetic. ([Princeton? N.J., 1963), by James R. Guard (page images at HathiTrust)
• NASA TN D-6709 (National Aeronautics and Space Administration :, 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 (National Aeronautics and Space Administration ;, 1966), by Victor R. Bond and Manned Spacecraft Center (U.S.) (page images at HathiTrust)
• Estimation of variance by a recursive equation (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)
• Degrees of unsolvability in the theory of programming languages (Dept. of Computer Science, University of Illinois, 1971), by Dennis F. Cudia (page images at HathiTrust)
• Orderings for term-rewriting systems (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1979), by Nachum Dershowitz, University of Illinois at Urbana-Champaign. Dept. of Computer Science, and National Science Foundation (U.S.) (page images at HathiTrust)
• Recursive equivalence types (University of California Press, 1960), by J. C. E. Dekker and John Myhill (page images at HathiTrust)
• The theory of definability, part two : notes for the seminar conducted by J.W. Addison, Spring semester 1964. (Dept. of Mathematics, University of California, 1964), by J. W. Addison and Berkeley. Department of Mathematics University of California (page images at HathiTrust)

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

• 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)
• Machine intelligence and robotics : report of the NASA Study Group : final report. (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)
• Automata theory; advanced concepts in information processing systems. ([Ann Arbor], in the 20th century), by University of Michigan. Engineering Summer Conferences (page images at HathiTrust; US access only)
• Introduction to the theory of finite-state machines. (McGraw-Hill, 1962), by Arthur Gill (page images at HathiTrust)
• A note on Atrubin's real-time iterative multiplier (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 (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 (Dept. of Computer Science, 1966), by Raymond Tzuu-Yau Yeh (page images at HathiTrust)
• Theory of machines. ([Leipzig?, 1870), by Franz Grashof (page images at HathiTrust)
• De gli avtomati, ouero, Machine se moventi, libri duo (Appresso Girolamo Porro, 1589), by Hero of Alexandria and Bernardino Baldi (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 (Dalla Tipografia Sormani, 1828), by Paolo Ricchini, Henri-Louis Jacquet Droz, and Pierre Jaquet-Droz (page images at HathiTrust)
• The construction of living robots (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. (Hilliard, Gray, 1826), by Gamaliel Bradford (page images at HathiTrust)
• The logic of automata (Washington D. C. : Mathematics Division, Office of Scientific Research, U.S. Air Force, 1956., 1956), 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 ([Washington, D.C.] : [United States Air Force, Office of Scientific Research], [1957], 1957), by Sullivan G. Campbell, Gordon H. Jr Rosser, United States. Air Force. Office of Scientific Research, and Duke University (page images at HathiTrust)
• Some LISP routines for manipulating automata (L.G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1966., 1966), by Thomas V. Griffiths and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• Theory of probability state variable systems. Volume 3, Monotype system theory and considerations from automata theory (Wright-Patterson Air Force Base, Ohio : Air Force Avionics Laboratory, Research and Technology Division, Air Force Systems Command, United States Air Force, 1963., 1963), by L. O. Gilstrap, R. J. Lee, M. J. Pedelty, Inc Adaptronics, and Air Force Avionics Laboratory (page images at HathiTrust)
• Automata Old and New, by Conrad William Cooke (Gutenberg ebook)

• 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)

• Application of logic to the design of computing machines. Final report ([Washington, D.C.] : Air Force Office of Scientific Research, Air Research and Development, United States Air Force, 1959., 1959), 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)

• Reliable computation in the presence of noise (M.I.T. Press, 1963), by S. Winograd and J. D. Cowan (page images at HathiTrust)

• AI for Everyone? Critical Perspectives (London: University of Westminster Press, c2021), ed. by Pieter Verdegem (multiple formats with commentary at University of Westminster Press)
• Artificial Intelligence and Games (2018), by Georgios N. Yannakakis and Julian Togelius (PDF with commentary at gameaibook.org)
• 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)
• 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)
• The seeds of artificial intelligence : SUMEX-AIM (U.S. Dept. of Health, Education, and Welfare, Public Health Service, National Institutes of Health ;, 1980), by Gregory Freiherr and Research Resources Information Center (page images at HathiTrust)
• Machine intelligence and robotics : report of the NASA Study Group : final report. (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)
• Artificial intelligence and language comprehension : National Institute of Education, Washington, D.C., February 1976. (U. S. Dept. of Health, Education and Welfare, 1976), by National Institute of Education (U.S.) (page images at HathiTrust)
• Artificial intelligence and brain mechanisms. (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 (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 (Spartan Books, 1963), by Michael J Pedelty (page images at HathiTrust)
• Building problem solvers (MIT Press, 1993), by Kenneth D. Forbus and Johan De Kleer (page images at HathiTrust; US access only)
• Report of a planning workshop: to strengthen American cognitive science for the 21st century (National Science Foundation, 1992), by National Science Foundation (U.S.) (page images at HathiTrust)
• Prototype expert system containership for stowage planning. User's manual. (1988), by J. Dillingham (page images at HathiTrust)
• 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)
• 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)
• 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)
• 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)
• 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)
• Artificial intelligence and expert systems : will they change the library? (Graduate School of Library and Information Science, University of Illinois at Urbana-Champaign, 1992), 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)
• Report on Workshop on High Performance Computing and Communications for Grand Challenge Applications : computer vision, speech and natural language processing, and artificial intelligence (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)
• The MedIndEx system : research on interactive knowledge-based indexing of the medical literature (U.S. Dept. of Health and Human Services, Public Health Service, National Institutes of Health ;, 1988), by Susanne M. Humphrey and Anil Kapoor (page images at HathiTrust)
• Le noiaphanisme, ou, système des combinaisons : nouvelle application de la vapeur pour remplacer le génie (Chez J. Joly, 1844), by Jean Marie Dessaix (page images at HathiTrust)
• Artificial paranoia : an NIMH program report (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)
• Navy Center for Applied Research in Artificial Intelligence. (Naval Research Laboratory, 1989), by Naval Research Laboratory (U.S.) (page images at HathiTrust)
• Machine intelligence and robotics : report of the NASA study group : final report. (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)
• Assessing the impact of modeling limits on intelligent systems (National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division ;, 1990), by William B. Rouse, John M. Hammer, Langley Research Center, and Inc Search Technology (page images at HathiTrust)
• Computer program for analysis of imperfection sensitivity of ring stiffened shells of revolution (National Aeronautics and Space Administration ;, 1971), by Gerald A. Cohen, Langley Research Center, and Philco-Ford Corporation (page images at HathiTrust)
• Space applications of automation, robotics and machine intelligence systems (ARAMIS) - phase II (National Aeronautics and Space Administration, Scientific and Technical Information Branch ;, 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)
• Synergy and artificial intelligence (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)
• Spill response system configuration study (U.S. Coast Guard, Marine Safety and Environmental Protection ;, 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 (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1975), by James Larson and Ryszard Stanisław Michalski (page images at HathiTrust)
• Eidolyzer: a hardware realization of context-guided picture interpretation. (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1971), by Arthur Simons (page images at HathiTrust)
• Knowledge-based systems (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 (Department of Computer Science, University of Illinois at Urbana-Champaign, 1980), by Thomas Glenn Dietterich and Ryszard Stanislaw Michalski (page images at HathiTrust)
• Measuring the knowledge-content of programs (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1976), by Donald Michie (page images at HathiTrust)
• Pattern recognition as knowledge-guided computer induction (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1978), by Ryszard Stanisław Michalski (page images at HathiTrust)
• SYM-1, a program that detects symmetry of variable-valued logic functions (Dept of Computer Science, University of Illinois at Urbana-Champaign, 1975), by Gerald M. Jensen (page images at HathiTrust)
• Environmental scan report on artificial intelligence : strategy considerations for the U.S. Department of the Treasury. (Dept. of the Treasury, Internal Revenue Service, 1984), by United States Internal Revenue Service (page images at HathiTrust)
• Computer simulation of human thinking and problem solving (Rand Corp., 1961), by Allen Newell and Herbert A. Simon (page images at HathiTrust)
• The epistemological foundations of machine intelligence (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)
• Research in computer sciences (L.G. Hanscom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1965., 1965), by Hans H. Zschirnt and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• A computer decision-making process for the elimination of noise from data (Hanscom AFB, Massachusetts : Air Force Geophysics Laboratory, Air Force Systems Command, United States Air Force, 1987., 1987), by R. O. Berthel and U.S. Air Force Geophysics Laboratory (page images at HathiTrust)
• Artificial intelligence and language comprehension (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)
• Artificial intelligence with applications for aircraft (Federal Aviation Administration Technical Center ;, 1994), by L. Harrison, J. Janowitz, P. Saunders, Galaxy Scientific Corporation, and Federal Aviation Administration Technical Center (U.S.) (page images at HathiTrust)
• Navy Center for Applied Research in Artificial Intelligence. (Naval Research Laboratory, 1986), by Naval Research Laboratory (U.S.) (page images at HathiTrust)
• A program for the solution of a class of geometric-analogy intelligence-test questions (L.G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1964., 1964), by Thomas G. Evans and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• The unsolvability of the equivalence problem for lambda-free nondeterministic generalized machines. (L. G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1968., 1968), by Thomas V. Griffiths 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. (Wright Patterson Air Force Base, Ohio : Wright Air Development Center, Air Research and Development Command, United States Air Force, 1959., 1959), by D. Frederick Baker, Billy M. Crawford, United States. Air Force. Air Research and Development Command, Aerospace Medical Laboratory (U.S.), and Wright Air Development Center (page images at HathiTrust)
• The symbolic coding of information on cathode ray tubes and similar displays (Wright-Patterson Air Force Base, Ohio : Wright Air Development Division, Air Research and Development Command, United States Air Force, 1955., 1955), by Paul F. Muller, Paul M. Fitts, Earl A. Alluisi, Alec J. Slivinske, Raymond C. Sidorsky, United States. Air Force. Air Research and Development Command, Ohio State University. Research Foundation, and Wright Air Development Center (page images at HathiTrust)

More items available under broader and related terms at left.