Coverart for item
The Resource Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings, Klaus Schneider, Jens Brandt (eds.), (electronic book)

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings, Klaus Schneider, Jens Brandt (eds.), (electronic book)

Label
Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings
Title
Theorem proving in higher order logics
Title remainder
20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings
Statement of responsibility
Klaus Schneider, Jens Brandt (eds.)
Title variation
TPHOLs 2007
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, in September 2007. The 21 revised full papers presented together with 5 proof pearls (concise and elegant presentations of interesting examples) and the abstracts of 3 invited papers were carefully reviewed and selected from 52 submissions. Among the topics of this volume are formal semantics of specification, modelling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers
Member of
Cataloging source
COO
Dewey number
511.3
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A96
LC item number
T655 2007
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2007
http://bibfra.me/vocab/lite/meetingName
TPHOLs
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1967-
  • 1978-
http://library.link/vocab/relatedWorkOrContributorName
  • Schneider, Klaus
  • Brandt, Jens
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
4732
http://library.link/vocab/subjectName
  • Automatic theorem proving
  • Logic programming
Label
Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings, Klaus Schneider, Jens Brandt (eds.), (electronic book)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
SPR167454845
Dimensions
unknown
Extent
1 online resource (viii, 399 p.)
Form of item
online
Isbn
9783540745907
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
ill.
Specific material designation
remote
Label
Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings, Klaus Schneider, Jens Brandt (eds.), (electronic book)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
SPR167454845
Dimensions
unknown
Extent
1 online resource (viii, 399 p.)
Form of item
online
Isbn
9783540745907
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
ill.
Specific material designation
remote

Library Locations

Processing Feedback ...