The Resource Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings, David Basin, Burkhart Wolff (eds.)

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings, David Basin, Burkhart Wolff (eds.)

Label
Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
Title
Theorem proving in higher order logics
Title remainder
16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
Statement of responsibility
David Basin, Burkhart Wolff (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A96
LC item number
T655 2003
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2003
http://bibfra.me/vocab/lite/meetingName
TPHOLs
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1962-
http://library.link/vocab/relatedWorkOrContributorName
  • Basin, David
  • Wolff, Burkhart
Series statement
Lecture notes in computer science
Series volume
2758.
http://library.link/vocab/subjectName
Automatic theorem proving
Label
Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings, David Basin, Burkhart Wolff (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Dimensions
24 cm.
Extent
x, 366 p.
Isbn
9783540406648
Isbn Type
(alk. paper)
Lccn
20030581 34
Other physical details
ill.
System control number
(OCoLC)52728834
Label
Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings, David Basin, Burkhart Wolff (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Dimensions
24 cm.
Extent
x, 366 p.
Isbn
9783540406648
Isbn Type
(alk. paper)
Lccn
20030581 34
Other physical details
ill.
System control number
(OCoLC)52728834

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...