Following is a bibliography which I collected in the context of my
research. It is not the bibliography of my doctoral work, it is
merely a collection of books which I have STASHed into this file.
------------------------------------------------------------
AJY'S BIBLIOGRAPHY
------------------------------------------------------------
Christos H. Papadimitriou: COMPUTATIONAL COMPLEXITY
Addison-Wesley
ISBN 0-201-53082-1
------------------------------------------------------------
Oded Goldreich: Computational Complexity
A Conceptual Perspective
Cambridge University Press
ISBN 978-0-521-88473-0
------------------------------------------------------------
Chen-Church-Englert-Henkel-Rohweder-Scully-Zubairy:
Quantum Computing Devices
Chapman & Hall / Chemical Rubber Company
Taylor&Francis Group
ISBN 1-58488-681-1
------------------------------------------------------------
Mikio Nakahara & Tetsuo Ohmi:
QUANTUM COMPUTING
CRC Press, Taylor & Francis
ISBN 0-7503-0983-0
------------------------------------------------------------
Frank Gaitan:
QUANTUM ERROR CORRECTION
CRC Press
ISBN 0-8493-7199-9
------------------------------------------------------------
Eric B. Baum:
WHAT IS THOUGHT?
The MIT Press
ISBN 0-262-02548-5
------------------------------------------------------------
Michael R. Genesereth, Nils J. Nilsson:
LOGICAL FOUNDATIONS OF ARTIFICIAL INTELLIGENCE
Morgan Kaufmann Publishers
ISBN 0-934613-31-1
------------------------------------------------------------
Eds. Ford-Glymour-Hayes:
Thinking about Android Epistemology
The MIT Press
ISBN 978-0-262-56217-1
------------------------------------------------------------
Harry R. Lewis, Christos H. Papadimitriou:
Elements of the Theory of Computation, 2nd ed.
Prentice Hall
ISBN 0-13-262478-8
------------------------------------------------------------
Harry R. Lewis, Christos H. Papadimitriou:
Elements of the Theory of Computation, 1st ed.
Prentice Hall
ISBN 0-13-273417-6
------------------------------------------------------------
Neil D. Jones:
Computability and Complexity from a Programming Perspective
The MIT Press
ISBN 0-262-10064-9
------------------------------------------------------------
Hopcroft, Motwani, Ullman:
Introduction to Automata Theory, Languages, and Computation
2nd ed.
PEARSON--Addison Wesley
ISBN 0-321-21029-8
------------------------------------------------------------
Juraj Hromkovic:
Theoretical Computer Science
Springer
ISBN 3-540-14015-8
------------------------------------------------------------
Balcazar-Diaz-Gabarro:
Structural Complexity I
Springer
ISBN 3-540-58384-X
------------------------------------------------------------
Balcazar-Diaz-Gabarro:
Structural Complexity II
Springer-Verlag
EATCS Monographs on Theoretical Computer Science
ISBN 3-540-52079-1
------------------------------------------------------------
Robert Sedgewick:
Algorithms, 2nd Edition
Addison-Wesley
ISBN 0-201-06673-4
------------------------------------------------------------
Leslie Lamport: LaTeX, A Document Preparation System
Addison-Wesley
ISBN 978-0-201-52983-8
------------------------------------------------------------
Ed. Allen B. Tucker:
COMPUTER SCIENCE HANDBOOK, 2nd ed.
Chapman & Hall / CRC Press
ISBN 1-58488-360-X
------------------------------------------------------------
Ed. Mikhail J. Atallah, Marina Blanton:
Algorithms and Theory of Computation Handbook, 2nd ed.
CRC Press
1. General Concepts and Techniques, ISBN 978-1-58488-822-2
2. Special Topics and Techniques, ISBN 978-1-58488-820-8
------------------------------------------------------------
Paul Graham: On Lisp
Advanced Techniques for Common LISP
Prentice Hall
ISBN 0-13-030552-9
------------------------------------------------------------
Paul Graham: ANSI Common LISP
Prentice Hall
ISBN 0-13-370875-6
------------------------------------------------------------
Friedman-Felleisen-Sussman:
The Little Schemer
The MIT Press
ISBN 0-262-56099-2
------------------------------------------------------------
Sonya E. Keene:
Object-Oriented Programming in COMMON LISP
Guide to CLOS
Addison-Wesley
ISBN 0-201-17589-4
------------------------------------------------------------
Peter Norvig:
Paradigms of Artificial Intelligence Programming
Common LISP
Morgan Kaufmann -- Elsevier
ISBN 978-1-55860-191-8
------------------------------------------------------------
Guy L. Steele Jr.
COMMON LISP
The Language, 2nd ed.
Digital Press
ISBN 1-55558-041-6
------------------------------------------------------------
Russell-Norvig:
Artificial Intelligence, A Modern Approach
3rd ed.
Prentice Hall, Pearson
ISBN 978-0-13-604259-4
------------------------------------------------------------
George F. Luger:
Artifical Intelligence, 6th ed.
Addison-Wesley
ISBN 978-321-54589-3
------------------------------------------------------------
Ivan Bratko: PROLOG Programming for Artificial Intelligence
3rd ed. -- 4th ed has been published
Addison-Wesley
ISBN 0-201-40375-7
------------------------------------------------------------
Sterling-Shapiro:
The Art of Prolog
The MIT Press
ISBN 978-0-262-69163-5
------------------------------------------------------------
O'Keefe:
The Craft of Prolog
The MIT Press
ISBN 978-0-262-51227-5
------------------------------------------------------------
Schwartz-foy-Phoenix:
Intermediate Perl
O'Reilly
ISBN 978-1-449-39309-0
------------------------------------------------------------
Wall-Christiansen-Orwan:
Programming Perl
O'Reilly
ISBN 0-596-00027-8
------------------------------------------------------------
Christiansen-Torkington:
Perl Cookbook
O'Reilly
ISBN 1-56592-243-3
------------------------------------------------------------
Mark Lutz:
Learning Python
O'Reilly
ISBN 978-0-596-15806-4
------------------------------------------------------------
Mark Lutz:
Programming Python
O'Reilly
ISBN 978-0-596-15810-1
------------------------------------------------------------
Marvin Minsky:
The Society of Mind
Simon & Schuster
0-671-65713-5
------------------------------------------------------------
Arthur T. Murray:
AI4U Mind-1.1 Programmer's Manual
iUniverse
ISBN 0-595-65437-1
------------------------------------------------------------
Davis-Sigal-Weyuker:
Computability, Complexity, and Languages
Morgan Kaufmann
ISBN 0-12-206382-1
------------------------------------------------------------
Poole-Mackworth-Goebel:
Computational Intelligence
a logical approach
OXFORD
ISBN 0-19-510270-3
------------------------------------------------------------
Ruby-Thomas-Hansson:
Agile Web Development with Rails
The Facets of Ruby Series
The Pragmatic Bookshelf
North Carolina
ISBN 978-1-93435-654-8
------------------------------------------------------------
Thomas-Fowler-Hunt:
Programming Ruby 1.9
The Facets of Ruby Series
The Pragmatic Bookshelf
ISBN 978-1-93435-608-1
------------------------------------------------------------
Flanagan-Matsumoto:
The Ruby Programming Language
O'Reilly
ISBN 978-0-596-51617-8
------------------------------------------------------------
Pentti O. Haikonen:
The Cognitive Approach to CONSCIOUS MACHINES
Imprint Academic
UK
ISBN 0-907845-428
------------------------------------------------------------
Hopcroft-Motwani-Ullman:
Introduction to Automata Theory, Languages, and Computation
3ed ed.
Pearson International Edition & Addison-Wesley
ISBN 0-321-47617-4
------------------------------------------------------------
Hayes-Roth--Waterman--Lenat:
Building Expert Systems
Addison-Wesley
ISBN 0-201-10686-8
------------------------------------------------------------
David Harel - Yishai Feldman:
Algorithmics,
The Spirit of Computing
Addison-Wesley -- Pearson Education
ISBN 0-321-11784-0
------------------------------------------------------------
Cormen-Leiserson-Rivest-Stein:
Introduction to ALGORITHMS
2nd ed -- the 3rd ed is there
The MIT Press
ISBN 0-262-03293-7
------------------------------------------------------------
Goldreich-Rosenberg-Selman:
Theoretical Computer Science
Essays in Memory of Shimon Even
Springer LNCS 3895
ISBN 3-540-32880-7
------------------------------------------------------------
Karhumäki-Maurer-Päun-Rozenberg:
Theory is Forever
Essays Dedicated to Arto Salomaa
Springer LNCS 3113
ISBN 3-540-22393-2
------------------------------------------------------------
Hemaspaandra-Ogihara:
The Complexity Theory Companion
Springer
ISBN 3-540-67419-5
------------------------------------------------------------
Päun-Rozenberg-Salomaa:
Current Trends in Theoretical Computer Science
Algorithms and Complexity Vol. 1 ISBN 981-238-966-0
Formal Models and Semantics Vol. 2 ISBN 981-238-965-2
World Scientific
------------------------------------------------------------
Aaron Sloman:
THE COMPUTER REVOLUTION IN PHILOSOPHY
Harvester Studies
The Humanities Press Inc.
N. J. USA
ISBN 0-391-00830-7
------------------------------------------------------------
Paul R. Halmos:
Naive Set Theory
Springer
ISBN 0-387-90092-6
------------------------------------------------------------
Goldberg-Robson:
SMALLTALK-80
The Language and its Implementation
Addison-Wesley
ISBN 0-201-11371-6
------------------------------------------------------------
Seibel:
Practical Common LISP
aPress
ISBN 1-59059-239-5
------------------------------------------------------------
Li-Du:
Artificial Intelligence with Uncertainty
Chapman & Hall / CRC Press
ISBN 1-58488-998-5
------------------------------------------------------------
Tanimoto:
The Elements of Artificial Intelligence Using COMMON LISP
2nd ed.
Computer Science Press
ISBN 0-7167-8269-3
------------------------------------------------------------
Hoyte:
Let Over Lambda
ISBN 978-1-4357-1275-1
------------------------------------------------------------
Winston-Horn:
LISP, 3rd ed.
Addison-Wesley
ISBN 0-201-08319-1
------------------------------------------------------------
Winston:
Artificial Intelligence, 3rd ed.
Addison-Wesley
ISBN 0-201-53377-4
------------------------------------------------------------
Marvin Minsky:
COMPUTATION, Finite and Infinite Machines
Prentice-Hall
Library of Congress Catalog Card 67-12342
no ISBN
------------------------------------------------------------
Schank-Abelson
Scripts Plans Goals and Understanding
Lawrence Erlbaum, New Jersey
ISBN 0-89859-138-4
------------------------------------------------------------
Nils J. Nilsson:
The Quest for Artificial Intelligence
Cambridge
ISBN 978-0-521-12293-1
------------------------------------------------------------
Allan Ramsay:
Formal Methods in Artificial Intelligence
Cambridge
ISBN 978-0-521-42421-9
------------------------------------------------------------
Partridge-Wilks:
The Foundations of Artificial Intelligence
Cambridge University Press
ISBN 0-521-35944-9
------------------------------------------------------------
Poole-Mackworth:
ARTIFICIAL INTELLIGENCE
Cambridge
ISBN 978-0-511-72946-1 (eBook; NetLibrary)
ISBN 978-0-521-51900-7 (hardback)
------------------------------------------------------------
yours, Dr A. J. Y.
Finland, the E.U.