Artificial intelligence, automated reasoning, and symbolic computation. : joint international conference, AISC 2002 and Calculemus 2002 : Jul 2002, Marseille, France. (Lecture Notes in Computer Science ; 2385. Lecture Notes in Artificial Intelligence)

Artificial intelligence, automated reasoning, and symbolic computation. : joint international conference, AISC 2002 and Calculemus 2002 : Jul 2002, Marseille, France.

(Lecture Notes in Computer Science ; 2385. Lecture Notes in Artificial Intelligence)

Call No. (NDL): M17-03-73
Bibliographic ID of National Diet Library: 000003996891

Material type: 図書

Author: Universite de Provence.ほか

Publisher: Springer

Publication date: 2002.

Material Format: Paper

Capacity, size, etc.: xi, 341 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 3540438653
ISSN (series): 0302-9743
Title: Artificial intelligence, automated reasoning, and symbolic computation. : joint international conference, AISC 2002 and Calculemus 2002 : Jul 2002, Marseille, France.
Series Title: Lecture Notes in Computer Science ; 2385. Lecture Notes in Artificial Intelligence
Author Heading: Universite de Provence.
AISC 2002.
Publication, Distribution, etc.: Berlin : Springer
Publication Date: 2002.
Extent: xi, 341 p. : ill. ; 24 cm.
Alternative Title: 6th international conference on artificial intelligence and symbolic computation
10th symposium on the integration of symbolic computation and mechanized reasoning
Text Language Code: eng
NDLC: M17
Note (General): Papers.
Holding library: 国立国会図書館
Call No.: M17-03-73
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003996891
http://id.ndl.go.jp/bib/000003996891
Bibliographic Record Category (NDL): 215