Automated reasoning with analytic tableaux and related methods : 22nd international conference, TABLEAUX 2013 : Nancy, France, September 16-19, 2013 : proceedings : Sep 2013, Nancy, France. (Lecture Notes in Computer Science ; 8123. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : 22nd international conference, TABLEAUX 2013 : Nancy, France, September 16-19, 2013 : proceedings : Sep 2013, Nancy, France.

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

Call No. (NDL): M17-14-746
Bibliographic ID of National Diet Library: 024897210

Material type: 図書

Author: TABLEAUX (Conference) (22nd : 2013 : Nancy, France)ほか

Publisher: Springer

Publication date: c2013.

Material Format: Paper

Capacity, size, etc.: x, 287 p. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers."Two workshops were held in conjunction with TABLEAUX 2013: (...)" -- 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: 9783642405365 (paperback)
9783642405372 (e-ISBN)
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Automated reasoning with analytic tableaux and related methods : 22nd international conference, TABLEAUX 2013 : Nancy, France, September 16-19, 2013 : proceedings : Sep 2013, Nancy, France.
Series Title: Lecture Notes in Computer Science ; 8123. Lecture Notes in Artificial Intelligence
Author Heading: TABLEAUX (Conference) (22nd : 2013 : Nancy, France)
Galmiche, Didier, 1958-
Larchey-Wendling, Dominique.
Publication, Distribution, etc.: Heidelberg : Springer
Publication Date: c2013.
Publication Date (W3CDTF): 2013
Extent: x, 287 p.
Other physical details: ill.
Size: 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Automatic theorem proving--Congresses.
Artificial intelligence--Congresses.
Automated reasoning
Analytic tableaux
TABLEAUX
DDC: 006.333
NDLC: M17
Target Audience: 一般
Note (General): Papers.
"Two workshops were held in conjunction with TABLEAUX 2013: (...)" -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-14-746
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 024897210
http://id.ndl.go.jp/bib/024897210
OCLC No.: 858823973
https://www.worldcat.org/oclc/858823973
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215