Coverart for item
The Resource Interactive Theorem Proving : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010, Proceedings, Matt Kaufmann, Lawrence C. Paulson (Eds.), (electronic resource)

Interactive Theorem Proving : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010, Proceedings, Matt Kaufmann, Lawrence C. Paulson (Eds.), (electronic resource)

Label
Interactive Theorem Proving : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Title
Interactive Theorem Proving
Title remainder
First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Statement of responsibility
Matt Kaufmann, Lawrence C. Paulson (Eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Cataloging source
DLC
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
ITP (Conference)
http://library.link/vocab/relatedWorkOrContributorName
  • Kaufmann, Matt
  • Paulson, Lawrence C
Series statement
Lecture Notes in Computer Science,
Series volume
6172
http://library.link/vocab/subjectName
Computer logic
Summary expansion
This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc
Label
Interactive Theorem Proving : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010, Proceedings, Matt Kaufmann, Lawrence C. Paulson (Eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000399488
Dimensions
unknown
Isbn
9783642140518
Isbn Type
(alk. paper)
Lccn
2010929576
Specific material designation
remote
System control number
(WaSeSS)bookssj0000399488
Label
Interactive Theorem Proving : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010, Proceedings, Matt Kaufmann, Lawrence C. Paulson (Eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000399488
Dimensions
unknown
Isbn
9783642140518
Isbn Type
(alk. paper)
Lccn
2010929576
Specific material designation
remote
System control number
(WaSeSS)bookssj0000399488

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...