Dr. Dietmar Kreye 
Diplom-Informatiker

[-] Research
[-] Teaching
[-] Publications
[-] Bookshelf
 [=] Topics
 [-] Document Types
[-] Internal Section
[-] Lost and Found
[-] Contact





äöüß

Other Topics of AI

[-] Gödel, Escher, Bach: Ein Endloses Geflochtenes Band
Douglas R. Hofstadter (Book, 1993) 		[own]
[-] Gödel, Escher, Bach: An Eternal Golden Braid
Douglas R. Hofstadter (Book, 1999)
[-] Symbolic Logic and Mechanical Theorem Proving
Chin-Liang Chang; Richard Char-Tung Lee (Book, 1973)
Responsible for the content of this site: Dietmar Kreye (My public PGP keys)
Last modified: Nov 10, 2004

Valid HTML 4.01!External Link    Valid CSS!External Link