Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011 : Bern, Switzerland, July 4-8, 2011 : proceedings : Jul 2011, Bern, Switzerland. (Lecture Notes in Computer Science ; 6793. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011 : Bern, Switzerland, July 4-8, 2011 : proceedings : Jul 2011, Bern, Switzerland.

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

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

Material type: 図書

Author: TABLEAUX 2011 (2011 : Bern, Switzerland)ほか

Publisher: Springer

Publication date: c2011.

Material Format: Paper

Capacity, size, etc.: xii, 277 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers and abstracts."There were also two tutorials: (...) Two workshops are held in conjunction with TABLEAUX 2011: (...)" -- pref.

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: 9783642221194 (e-ISBN)
9783642221187
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011 : Bern, Switzerland, July 4-8, 2011 : proceedings : Jul 2011, Bern, Switzerland.
Series Title: Lecture Notes in Computer Science ; 6793. Lecture Notes in Artificial Intelligence
Title Heading: Lecture notes in computer science ; 6793. 0302-9743
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7, Artificial intelligence.
Author Heading: TABLEAUX 2011 (2011 : Bern, Switzerland)
Brünnler, Kai.
Metcalfe, George.
Publication, Distribution, etc.: Heidelberg : Springer
Publication Date: c2011.
Publication Date (W3CDTF): 2011
Extent: xii, 277 p.
Other physical details: ill.
Size: 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Genre/Form Terms: Electronic books.
Subject Heading: Automatic theorem proving--Congresses.
LCC: QA76.9.A96
DDC: 511.3/6028563
NDLC: M17
Target Audience: 一般
Note (General): Papers and abstracts.
"There were also two tutorials: (...) Two workshops are held in conjunction with TABLEAUX 2011: (...)" -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Source: http://dx.doi.org/10.1007/978-3-642-22119-4
ebrary
http://site.ebrary.com/id/10479029
Holding library: 国立国会図書館
Call No.: M17-12-40
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011243503
http://id.ndl.go.jp/bib/000011243503
OCLC No.: 732881508
https://www.worldcat.org/oclc/732881508
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215