Interactive theorem proving : 5th international conference, ITP 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8558)

Interactive theorem proving : 5th international conference, ITP 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria.

(Lecture Notes in Computer Science ; 8558)

Call No. (NDL): M17-15-1248
Bibliographic ID of National Diet Library: 026155085

Material type: 図書

Author: ITP 2014 (2014 : Vienna, Austria)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: xxi, 554 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers and an abstract."The Vienna Summer of Logic (VSL, ...) consisted of twelve large conferences and 82 workshops, ..."--Foreword.Described as "......

Other physical details：: illustrations

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: 9783319089690 (print)
3319089692 (print)
ISBN (error code): 9783319089706 (electronic bk.)
3319089706 (electronic bk.)
ISSN (series): 0302-9743
Title: Interactive theorem proving : 5th international conference, ITP 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria.
Series Title: Lecture Notes in Computer Science ; 8558
Title Heading: Lecture notes in computer science ; 8558.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: ITP 2014 (2014 : Vienna, Austria)
Klein, Gerwin.
Gamboa, Ruben.
Kurt Godel Society.
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date (W3CDTF): 2014
Extent: xxi, 554 pages
Other physical details: illustrations
Size: 24 cm.
Alternative Title: Vienna summer of logic 2014
Place of Publication (Country Code): CH
Text Language Code: eng
Genre/Form Terms: Conference proceedings.
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Automatic theorem proving--Congresses.
Logic, Symbolic and mathematical--Congresses.
Automatic theorem proving.
Logic, Symbolic and mathematical.
NDLC: M17
Target Audience: 一般
Note (General): Papers and an abstract.
"The Vienna Summer of Logic (VSL, ...) consisted of twelve large conferences and 82 workshops, ..."--Foreword.
Described as "... ITP 2014: ... held during July 13-16, 2014 in Vienna, as part of the Federated Logic Conference (FLoC, July 10-24, 2014), ..."--Preface.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-1248
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026155085
http://id.ndl.go.jp/bib/026155085
OCLC No.: 894834220
https://www.worldcat.org/oclc/894834220
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215