図書

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)

Icons representing 図書

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria.

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

Call No. (NDL)
M17-15-545
Bibliographic ID of National Diet Library
026091621
Material type
図書
Author
IJCAR (Conference) (7th : 2014 : Vienna, Austria)ほか
Publisher
Springer
Publication date
[2014]
Material Format
Paper
Capacity, size, etc.
xxviii, 528 pages ; 24 cm.
NDC
-
View All

Notes on use

Note (General):

Abstracts and papers."The Vienna Summer of Logic (VSL, ...) consisted of twelve large conferences and 82 workshops, ..."--Foreword."This year's meetin...

Other physical details:

illustrations

Detailed bibliographic record

Summary, etc.:

This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienn...

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
9783319085876 (electronic bk.)
3319085875 (electronic bk.)
3319085867 (print)
9783319085869 (print)
ISSN (series)
0302-9743
Publication, Distribution, etc.
Publication Date
[2014]
Publication Date (W3CDTF)
2014