IBUKI has collected together and indexed electronic (mostly PDF) editions of primary sources, books, articles and study guides for history, science and literature.
Computer Scince
Programming Languages
LISP
Scheme
SEUS
Artificial Intelligence
- Abelson, Robert P.
- Adler, David
- Anderson, John
- Asimov, Isaac
- Batcher, K.E.
- Bobrow, Daniel G.
- Bower, Gordan H.
- Brachman, Ronald J.
- Brown, Allen L.
- Bullwinkle, Candace L.
- Carbonell. Jamie R.
- Cercone
- Collins, Allen M.
- Goyle
- Dreyfus
- Evens
- Fahlman, Scott E.
- Feldman
- Fikes
- Goldstein
- Hart
- Hayse
- Hendrics
- Hewitt
- Katz
- Kuipers
- Lasnik
- Marr
- McCarthy
- McDermott
- Meldman
- Minsky
- Moore
- Moravec
- Mylopoulos
- Nilsson
- Norman
- Ovshinsky
- Pople
- Quillian
- Raphael
- Rich
- Rieger
- Rivest
- Roberts
- Rosch
- Rubin
- Rymelhart
- Sacerdoti
- Schank
- Schubert
- Scragg
- Shapiro
- Shortliffe
- Simmons
- Strawson
- Sussman
- Waltz
- Wilensky
- Winston
- Winograd
- Woods
- Newell + Simon - The Logic Theory Machine
- Cognative systems
Linear Logic
Proof Assistants
IBML/types
|