Clear Search

Books+ Search Results

Subject: "Computer science"
Location: Is
Is Is Not
Marx Library
Subject: Is
Is Is Not
Artificial intelligence

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Belief revision
Published
Cambridge ; New York : Cambridge University Press, 1992.
Location
Library Shelving Facility (LSF) >> QA76 B363X 1992 (LC)
Format
Books
2.
Abstraction, reformulation and approximation : 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 ; proceedings
Author
SARA 2005 (2005 : Airth, Scotland)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3607 (LC)
Format
Books
3.
Abstraction, reformulation, and approximation 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings
Author
SARA 2002 (2002 : Kananaskis, Alta.)
Published
Berlin : Hong Kong : Springer-Verlag, c2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2371 (LC)
Format
Books
4.
Neural-symbolic learning systems : foundations and applications
Author
D'Avila Garcez, Artur S., 1970-
Published
London ; New York : Springer, c2002.
Location
Library Shelving Facility (LSF) >> QA76.87 D38 2002 (LC)
Format
Books
5.
Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Lake LBJ, Texas, USA, July 26-29, 2000 : proceedings
Author
SARA 2000 (2000 : Lake LBJ, Tex.)
Published
New York : Springer, 2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1864 (LC)
Format
Books
6.
Hybrid neural systems
Published
Berlin ; New York : Springer-Verlag, c2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1778 (LC)
Format
Books
7.
Foundations of neural networks, fuzzy systems, and knowledge engineering
Author
Kasabov, Nikola K.
Published
Cambridge, Mass. : MIT Press, c1996.
Location
Library Shelving Facility (LSF) >> QA76.76 E95 K375X 1996 (LC)
Format
Books
8.
Neural networks and fuzzy systems : a dynamical systems approach to machine intelligence
Author
Kosko, Bart
Published
Englewood Ciffs, NJ : Prentice Hall, c1992.
Location
Library Shelving Facility (LSF) >> QA76.76 E95 K67X 1991 (LC)
Format
Books
9.
Expert systems in engineering
Published
Kempston, Bedford, UK : IFS Publications ; Berlin ; New York : Springer-Verlag, c1988.
Location
Library Shelving Facility (LSF) >> QA76.76 E85 E978 1988 (LC)
Format
Books
10.
Mathematical methods in artificial intelligence
Author
Bender, Edward A., 1942-
Published
Los Alamitos, Calif. : IEEE Computer Society Press, c1996
Location
Library Shelving Facility (LSF) >> Q335 B45X 1996 (LC)
Format
Books
11.
Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
Author
International Conference AISMC-2 (1994 : Cambridge, England)
Published
Berlin ; New York : Springer-Verlag, c1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 958 (LC)
Format
Books
12.
Mind over machine : the power of human intuition and expertise in the era of the computer
Author
Dreyfus, Hubert L.
Published
New York : Free Press, c1986.
Location
MARX Library >> Q335 D73 1986 (LC)
Format
Books
13.
The logic of information structures
Author
Wansing, H. (Heinrich)
Published
Berlin ; New York : Springer-Verlag, c1993.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 681 (LC)
Format
Books
14.
Artificial intelligence and neural networks : 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005 ; revised selected papers
Author
Türk Yapay Zeka ve Yapay Sinir Ağları Sempozyumu (14th : 2005 : Izmir, Turkey)
Published
Berlin : Springer-Verlag, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3949 (LC)
Format
Books
15.
Artificial intelligence and knowledge engineering applications: a bioinspired approach. Part II : first international work-conference on the interplay between natural and artificial computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005 : proceedings
Author
IWINAC 2005 (1st : 2005 : Las Palmas, Canary Islands, Spain)
Published
Berlin : Springer, 2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3562 (LC)
Format
Books
16.
Artificial neural networks: Formal Models and Their Applications- ICANN 2005 : 15th International Conference, Warsaw, Poland, September 11-15, 2005 : proceedings
Author
International Conference on Artificial Neural Networks (European Neural Network Society) (15th : 2005 : Warsaw, Poland)
Published
Berlin ; [London] ; Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3697 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 3696 (LC)
Format
Books
17.
Smart environments : technologies, protocols, and applications
Author
Cook, Diane (Diane J.)
Published
Hoboken, NJ : John Wiley, c2005.
Location
Library Shelving Facility (LSF) >> QA76.76.E95 C68X 2005 (LC)
Format
Books
18.
Engineering of intelligent systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001 : proceedings
Author
International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (14th : 2001 : Budapest, Hungary)
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2070 (LC)
Format
Books
19.
Neural networks and artificial intelligence for biomedical engineering
Author
Hudson, D. L. (Donna L.)
Published
New York : Institute of Electrical and Electronics Engineers, c2000.
Location
Library Shelving Facility (LSF) >> R859.7 A78 H84 2000 (LC)
Format
Books
20.
Intelligence and artificial intelligence : an interdisciplinary debate
Published
Berlin ; New York : Springer, c1998.
Location
Library Shelving Facility (LSF) >> Q335 I543X 1998
Format
Books
21.
Darwin among the machines : the evolution of global intelligence
Author
Dyson, George, 1953-
Published
Reading, Mass. : Addison-Wesley Pub. Co., c1997.
Location
SML, Stacks, LC Classification >> Q335 D97X 1997
MARX Library >> Q335 D97X 1997
Library Shelving Facility (LSF) >> Q335 D97X 1997 (LC)
Format
Books
22.
Genetic algorithms in engineering and computer science
Published
Chichester ; New York : Wiley, [1996, c1995].
Location
Library Shelving Facility (LSF) >> QA76.87 G46X 1996 (LC)
Format
Books
23.
Discrete neural computation : a theoretical foundation
Author
Siu, Kai-Yeung, 1966-
Published
Englewood Cliffs, N.J. : Prentice Hall PTR, c1995.
Location
Library Shelving Facility (LSF) >> QA76.87 S58X 1995 (LC)
Format
Books
24.
Building problem solvers
Author
Forbus, Kenneth D.
Published
Cambridge, Mass. : MIT Press, c1993.
Location
Library Shelving Facility (LSF) >> QA76.9 S88 F67X 1993 (LC)
Format
Books
25.
Selective guide to literature on artificial intelligence and expert systems
Author
Gelfand, Julia
Published
Washington, D.C. : American Society for Engineering Education, Engineering Libraries Division, c1992.
Location
Library Shelving Facility (LSF) >> Q335 G31 1992 (LC)+ Oversize
Format
Books