Frontiers of combining systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : Proceedings

>> Google Books

Frontiers of combining systems : Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : Proceedings

フォーマット:

図書

責任表示:

Hélène Kirchner, Christophe Ringeissen (eds.)

言語:

英語

出版情報:

Berlin ; Heidelberg : Springer-Verlag, c2000

形態:

x, 289 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 1794 . Lecture notes in artificial intelligence <BA00009279>

書誌ID:

BA46083633

ISBN:

9783540672814 [3540672818]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Artificial intelligence--Congresses; Computer science--Congresses; Logic, Symbolic and mathematical--Congresses
分類・件名:	LCC : QA9.A1 DDC : 511.3 LCSH : Logic, Symbolic and mathematical -- Congresses LCSH : Computer science -- Congresses LCSH : Artificial intelligence -- Congresses
LCCN:	00029649
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logics in artificial intelligence : European Workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings JELIA, Ojeda-Aciego, Manuel, 1967- Springer	7 図書 Non-monotonic reasoning : 2nd International Workshop, Grassau, FRG, June 13-15, 1988 : proceedings Reinfrank, M. (Michael), 1958-, International Workshop on Non-Monotonic Reasoning Springer-Verlag
2 図書 Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers Workshop on Computer Science Logic, Kleine Büning, Hans, 1948-, European Association for Computer Science Logic Springer	8 図書 Methodologies for intelligent systems, 4 : proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, … International Symposium on Methodologies for Intelligent Systems, Raś, Zbigniew, University of North Carolina at … North-Holland
3 図書 Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California Conference on Theoretical Aspects of Reasoning about Knowledge, International Business Machines Corporation, American … M. Kaufmann Publishers	9 図書 Graph-theoretic concepts in computer science : 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009 : revised papers International Workshop on Graph-Theoretic Concepts in Computer Science, Christophe, Paul, Habib, M. (Michel) Springer
4 図書 Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California Conference on Theoretical Aspects of Reasoning about Knowledge, Parikh, Rohit, 1936-, Almaden Research Center (IBM … Morgan Kaufmann	10 図書 Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings Workshop on Computer Science Logic, Börger, Egon, 1946- Springer-Verlag
5 図書 Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings Bläsius, Karl Hans, 1952-, Hedtstück, Ulrich, 1951-, Rollinger, Claus-Rainer, 1950- Springer-Verlag	11 図書 The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989 : proceedings Fuhrmann, André, 1958-, Morreau, Michael Springer-Verlag
6 図書 Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings International Conference on Automated Deduction, Kirchner, Claude, Kirchner, Hélène Springer	12 図書 Logic from computer science : proceedings of a workshop held November 13-17, 1989 Moschovakis, Yiannis N., 1938-, Workshop on Logic from Computer Science Springer-Verlag