Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Full Title: Lecture Notes in Artificial Intelligence. ISSN:29459141)
Results:161items
Reasoning with Logic Programming / by Jose Julio Alferes, Luis Moniz Pereira
1st ed. 1996.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 1111)
E-Book
Automated Deduction in Equational Logic and Cubic Curves / by William McCune, R. Padmanabhan
1st ed. 1996.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 1095)
Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing / edited by Stefan Wermter, Ellen Riloff, Gabriele Scheler
1st ed. 1996.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 1040)
Knowledge Representation and Organization in Machine Learning / edited by Katharina Morik
1st ed. 1989.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1989. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 347)
Foundations of Equational Logic Programming / by Steffen Hölldobler
1st ed. 1989.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1989. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 353)
Computational Aspects of an Order-Sorted Logic with Term Declarations / by Manfred Schmidt-Schauß
1st ed. 1989.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1989. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 395)
Reasoning and Revision in Hybrid Representation Systems / by Bernhard Nebel
1st ed. 1990.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1990. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 422)
A Methodology for Uncertainty in Knowledge-Based Systems / by Kurt Weichselberger, Sigrid Pöhlmann
1st ed. 1990.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1990. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 419)
Termination Proofs for Logic Programs / by Lutz Plümer
1st ed. 1990.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1990. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 446)
A Resolution Principle for a Logic with Restricted Quantifiers / by Hans-Jürgen Bürckert
1st ed. 1991.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1991. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 568)
Temporally Distributed Symptoms in Technical Diagnosis / by Klaus Nökel
1st ed. 1991.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1991. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 517)
An Approach to Knowledge Base Management / by Nelson M. Mattos
1st ed. 1991.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1991. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 513)
Coordinating Plans of Autonomous Agents / by Frank v. Martial
1st ed. 1992.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1992. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 610)
Artificial Perception and Music Recognition / by Andranick S. Tanguiane
1st ed. 1993.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 746)
The Logic of Information Structures / by Heinrich Wansing
1st ed. 1993.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 681)
Resolution Methods for the Decision Problem / by C. Fermüller, A. Leitsch, Tanel Tammet, Nail Zamov
1st ed. 1993.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 679)
Parallel, Distributed and Multiagent Production Systems / edited by Toru Ishida
1st ed. 1994.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 878)
Planning and Learning by Analogical Reasoning / by Manuela M. Veloso
1st ed. 1994.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 886)
Qualitative Representation of Spatial Knowledge / by Daniel Hernandez
1st ed. 1994.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 804)
FM8501: A Verified Microprocessor / by Warren A. Jr. Hunt
1st ed. 1994.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994. - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 795)