城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(書名(完全形): Lecture Notes in Artificial Intelligence. ISSN:29459141)
該当件数:161件
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)
電子ブック
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)