Clear Search

Books+ Search Results

Series: "Lecture notes in computer science. Lecture notes in artificial intelligence."

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (384)
1.
Resolution methods for the decision problem
Published
Berlin ; New York : Springer, c1993.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 679 (LC)
Format
Books
2.
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings
Author
RCLP (Conference) (1st : 1990 : Irkutsk, R.S.F.S.R.)
Published
Berlin ; New York : Springer-Verlag, c1992.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 592 (LC)
Format
Books
3.
A perspective of constraint-based reasoning : an introductory tutorial
Author
Güsgen, Hans Werner, 1959-
Published
Berlin ; New York : Springer-Verlag, c1992.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 597 (LC)
Format
Books
4.
Machine learning--EWSL-91 : proceedings
Author
European Working Session on Learning (1991 : Porto, Portugal)
Published
Berlin ; New York : Springer-Verlag, c1991.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 482 (LC)
Format
Books
5.
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
6.
Modelling spatial knowledge on a linguistic basis : theory, prototype, integration
Author
Lang, Ewald, 1942-
Published
Berlin ; New York : Springer-Verlag, c1991.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 481 (LC)
Format
Books
7.
EPIA '91 : 5th Portuguese Conference on Artifical Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings
Author
Portuguese Conference on Artifical Intelligence (5th : 1991 : Albufeira, Portugal)
Published
Berlin ; New York : Springer-Verlag, c1991.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 541 (LC)
Format
Books
8.
AI 2004: Advances in Artificial Intelligence 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004. Proceedings
Author
Webb, Geoffrey I.
Published
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2004.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Mining multimedia and complex data : KDD Workshop MDM/KDD 2002, PAKDD Workshop KDMCD 2002 : revised papers
Published
Berlin ; New York : Springer, c2003.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
10.
Advances in Data Mining Applications in Image Mining, Medicine and Biotechnology, Management and Environmental Control, and Telecommunications; 4th Industrial Conference on Data Mining, ICDM 2004, Leipzig, Germany, July 4 -7, 2004, Revised Selected Papers
Author
Perner, Petra
Published
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2004.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Agents and Peer-to-Peer Computing Second International Workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003, Revised and Invited Papers
Author
Moro, Gianluca
Published
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2004.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Author
Dix, J. (Jürgen), 1961-
Published
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2004.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Mining multimedia and complex data : KDD Workshop MDM/KDD 2002, PAKDD Workshop KDMCD 2002 : revised papers
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2797 (LC)
Format
Books
14.
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
Author
Hinchey, Michael G. (Michael Gerard), 1969-
Published
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2004.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
Tasks and Methods in Applied Artificial Intelligence 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA-98-AIE Benicàssim, Castellón, Spain, June 1–4, 1998 Proceedings, Volume II
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
16.
Artificial intelligence in medicine : 5th Conference on Artificial Intelligence in Medicine, Europe, AIME '95, Pavia, Italy, June 1995 : proceedings
Author
Conference on Artificial Intelligence in Medicine (5th : 1995 : Pavia, Italy)
Published
Berlin ; New York : Springer-Verlag, 1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 934 (LC)
Format
Books
17.
Advances in soft computing : AFSS 2002 : 2002 AFSS International Conference on Fuzzy Systems, Calcutta, India, February 3-6, 2002 : proceedings
Author
AFSS International Conference on Fuzzy Systems (2002 : Calcutta, India)
Published
Berlin : London : Springer, c2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2275 (LC)
Format
Books
18.
Extensions of logic programming : 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings
Author
ELP '93 (1993 : University of St. Andrews, Scotland)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 798 (LC)
Format
Books
19.
KI-99: advances in artificial intelligence : 23rd Annual German Co[n]ference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999 : proceedings
Author
German Conference on Artificial Intelligence (23rd : 1999 : Bonn, Germany)
Published
Berlin ; New York : Springer, c1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1701 (LC)
Format
Books
20.
Knowledge management in electronic government : 5th IFIP International Working Conference, KMGov 2004, Krems, Austria, May 17-19, 2004 : proceedings
Author
KMGov 2004 (2004 : Krems, Austria)
Published
Berlin ; London : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3035 (LC)
Format
Books
21.
Advances in Data Mining Applications in Image Mining, Medicine and Biotechnology, Management and Environmental Control, and Telecommunications; 4th Industrial Conference on Data Mining, ICDM 2004, Leipzig, Germany, July 4 -7, 2004, Revised Selected Papers
Author
Perner, Petra
Published
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2004.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
22.
Agents and Peer-to-Peer Computing Second International Workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003, Revised and Invited Papers
Author
Moro, Gianluca
Published
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2004.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
23.
AI 2004: Advances in Artificial Intelligence 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004. Proceedings
Author
Webb, Geoffrey I.
Published
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2004.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
24.
Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Author
Dix, J. (Jürgen), 1961-
Published
Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2004.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
25.
Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings
Author
ICTCS 2001. Conference (7th : 2001 : Turin, Italy)
Published
Berlin : London : New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2202 (LC)
Format
Books