|
|
|
Computability:
See also:
 Bibliographic Database for Computability Theory - Extensive bibliography on computability and recursion theory, maintained by Peter Cholak. Church-Turing Thesis - Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland. Computability and Complexity - An online course on complexity. Computability and Complexity in Analysis Network - The CCA Network provides some useful information for researchers working in the field of computability and complexity in analysis. Computability Logic - Wictionary - A dictionary definition of the subject. Computability Theory - Directory of researchers working in computability theory, and list of open problems. Hypercomputation Research Network - The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions. Interactive Computation - Wikipedia article. Introduction to Logic and Recursion Theory - Notes from the class taught by Prof. Sacks in the Spring of 1998. Open Questions in Recursion Theory - Compiled by Theodore A. Slaman, Berkeley TeX/PDF. Problem Solving Environments Home Page - This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.Suggested link
|
Auto directory
Car enthusiasts can find here all the needed resources for their passion!
How to safety driving, where shopping parts and accessories, who can repair your car, where place classifieds to sell used cars, find consumer information, image galleries, license plates, auto magazines and e-zines, alarms, chats and forums. And all about car racing, from NASCAR to Formula One, from monster trucks to children's racing... drivers, teams, speed records, sponsorships and tickets to racing events.
www.auto-directory.info
|
|
Home
Back
