Automated reasoning : 4th international joint conference, IJCAR 2008 : Sydney, Australia, August 12-15, 2008 : proceedings. : CASC-J4 competition : 4th IJCAR ATP system competition : Aug 2008, Sydney, Australia. (Lecture Notes in Computer Science ; 5195. Lecture Notes in Artificial Intelligence)

Automated reasoning : 4th international joint conference, IJCAR 2008 : Sydney, Australia, August 12-15, 2008 : proceedings. : CASC-J4 competition : 4th IJCAR ATP system competition : Aug 2008, Sydney, Australia.

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

Call No. (NDL): M17-08-2236
Bibliographic ID of National Diet Library: 000009719769

Material type: 図書

Author: Armando, Alessandro.ほか

Publisher: Springer

Publication date: c2008.

Material Format: Paper

Capacity, size, etc.: xii, 556 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: An abstract and papers."IJCAR 2008 was the fusion of several major international events: (...) " -- pref.

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: 9783540710691 (ISBN-13)
3540710698
ISSN (series): 0302-9743
Title: Automated reasoning : 4th international joint conference, IJCAR 2008 : Sydney, Australia, August 12-15, 2008 : proceedings. : CASC-J4 competition : 4th IJCAR ATP system competition : Aug 2008, Sydney, Australia.
Series Title: Lecture Notes in Computer Science ; 5195. Lecture Notes in Artificial Intelligence
Title Heading: Lecture notes in computer science ; 5195.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Author Heading: Armando, Alessandro.
Baumgartner, Peter.
Dowek, Gilles.
IJCAR 2008 (2008 : Sydney, Australia)
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2008.
Publication Date (W3CDTF): 2008
Extent: xii, 556 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Automatic theorem proving -- Congresses.
Computer logic -- Congresses.
LCC: QA76.9.A96
NDLC: M17
Note (General): An abstract and papers.
"IJCAR 2008 was the fusion of several major international events: (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-08-2236
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009719769
http://id.ndl.go.jp/bib/000009719769
OCLC No.: 265034159
https://www.worldcat.org/oclc/265034159
Bibliographic Record Category (NDL): 215