Automated deduction -- CADE-23 : 23rd international conference on automated deduction : Wrocław, Poland, July 31-August 5, 2011 : proceedings : CADE 23 : Jul 2011, Wrocław, Poland. (Lecture Notes in Computer Science ; 6803. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-23 : 23rd international conference on automated deduction : Wrocław, Poland, July 31-August 5, 2011 : proceedings : CADE 23 : Jul 2011, Wrocław, Poland.

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

Call No. (NDL): M17-12-420
Bibliographic ID of National Diet Library: 000011263877

Material type: 図書

Author: International Conference on Automated Deduction (23rd : 2011 : Wrocław, Poland)ほか

Publisher: Springer

Publication date: c2011.

Material Format: Paper

Capacity, size, etc.: xiii, 508 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers and an abstract.

Other physical details：: ill.

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: 9783642224386 (e-ISBN)
9783642224379
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Automated deduction -- CADE-23 : 23rd international conference on automated deduction : Wrocław, Poland, July 31-August 5, 2011 : proceedings : CADE 23 : Jul 2011, Wrocław, Poland.
Series Title: Lecture Notes in Computer Science ; 6803. Lecture Notes in Artificial Intelligence
Title Heading: Lecture notes in computer science ; 6803. 0302-9743
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7, Artificial intelligence.
Author Heading: International Conference on Automated Deduction (23rd : 2011 : Wrocław, Poland)
Björner, Nikolaj.
Sofronie-Stokkermans, Viorica.
Publication, Distribution, etc.: Heidelberg : Springer
New York : Springer
Publication Date: c2011.
Publication Date (W3CDTF): 2011
Extent: xiii, 508 p.
Other physical details: ill.
Size: 24 cm.
Additional Title: CADE 2011.
Place of Publication (Country Code): DE
Text Language Code: eng
Genre/Form Terms: Electronic books.
Subject Heading: Automatic theorem proving--Congresses.
Logic, Symbolic and mathematical--Congresses.
LCC: QA76.9.A96
DDC: 511.3/6028563
NDLC: M17
Target Audience: 一般
Note (General): Papers and an abstract.
Note (Bibliography): Includes bibliographical references and author index.
Source: ebrary
http://site.ebrary.com/id/10490195
SpringerLink
http://ezproxy.lb.polyu.edu.hk/login?url=http://www.springerlink.com/content/978-3-642-22437-9
SpringerLink
http://dx.doi.org/10.1007/978-3-642-22438-6
Holding library: 国立国会図書館
Call No.: M17-12-420
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011263877
http://id.ndl.go.jp/bib/000011263877
OCLC No.: 754717131
https://www.worldcat.org/oclc/754717131
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215