Research bibliography

37 views
Skip to first unread message

Antti Ylikoski

unread,
May 24, 2015, 2:15:46 PM5/24/15
to qil...@googlegroups.com

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.

Reply all
Reply to author
Forward
0 new messages