Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 2830, 1991, Davis, California, edited by Myla Archer [and others] ; sponsored by University of California, Davis, University of Idaho, University of British Columbia ; in cooperation with IEEE Computer Society, ACM SIGDA
The Resource Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 2830, 1991, Davis, California, edited by Myla Archer [and others] ; sponsored by University of California, Davis, University of Idaho, University of British Columbia ; in cooperation with IEEE Computer Society, ACM SIGDA
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 2830, 1991, Davis, California, edited by Myla Archer [and others] ; sponsored by University of California, Davis, University of Idaho, University of British Columbia ; in cooperation with IEEE Computer Society, ACM SIGDA
Resource Information
The item Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 2830, 1991, Davis, California, edited by Myla Archer [and others] ; sponsored by University of California, Davis, University of Idaho, University of British Columbia ; in cooperation with IEEE Computer Society, ACM SIGDA represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 2830, 1991, Davis, California, edited by Myla Archer [and others] ; sponsored by University of California, Davis, University of Idaho, University of British Columbia ; in cooperation with IEEE Computer Society, ACM SIGDA represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Language
 eng
 Extent
 xix, 411 pages
 Note
 "IEEE Computer Society Press order number 2460"T.p. verso
 Isbn
 9780818624605
 Label
 Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 2830, 1991, Davis, California
 Title
 Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 2830, 1991, Davis, California
 Statement of responsibility
 edited by Myla Archer [and others] ; sponsored by University of California, Davis, University of Idaho, University of British Columbia ; in cooperation with IEEE Computer Society, ACM SIGDA
 Subject

 Automatic  Congresses
 Conference proceedings
 HOL
 Kongress
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical  Congresses
 Logic, Symbolic and mathematical  Congresses
 Logic,  Congresses
 Automatic theorem proving
 Automatic theorem proving  Congresses
 Automatic theorem proving  Congresses
 Language
 eng
 Action
 committed to retain for EAST
 Cataloging source
 DLC
 Illustrations
 illustrations
 Index
 index present
 LC call number
 QA76.9.A96
 LC item number
 I59 1991
 Literary form
 non fiction
 http://bibfra.me/vocab/lite/meetingDate
 1991
 http://bibfra.me/vocab/lite/meetingName
 International Workshop on the HOL Theorem Proving System and Its Applications
 Nature of contents
 bibliography
 http://library.link/vocab/relatedWorkOrContributorName

 Archer, Myla
 University of California, Davis
 University of Idaho
 University of British Columbia
 http://library.link/vocab/subjectName

 Automatic theorem proving
 Logic, Symbolic and mathematical
 Automatic theorem proving
 Logic, Symbolic and mathematical
 HOL
 Kongress
 Label
 Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 2830, 1991, Davis, California, edited by Myla Archer [and others] ; sponsored by University of California, Davis, University of Idaho, University of British Columbia ; in cooperation with IEEE Computer Society, ACM SIGDA
 Note
 "IEEE Computer Society Press order number 2460"T.p. verso
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 volume
 Carrier category code

 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Dimensions
 28 cm
 Dimensions
 unknown
 Extent
 xix, 411 pages
 Isbn
 9780818624605
 Isbn Type
 (paper)
 Lccn
 91074072
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code

 n
 Other physical details
 illustrations
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 (OCoLC)26749989
 (OCoLC)ocm26749989
 Label
 Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 2830, 1991, Davis, California, edited by Myla Archer [and others] ; sponsored by University of California, Davis, University of Idaho, University of British Columbia ; in cooperation with IEEE Computer Society, ACM SIGDA
 Note
 "IEEE Computer Society Press order number 2460"T.p. verso
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 volume
 Carrier category code

 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Dimensions
 28 cm
 Dimensions
 unknown
 Extent
 xix, 411 pages
 Isbn
 9780818624605
 Isbn Type
 (paper)
 Lccn
 91074072
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code

 n
 Other physical details
 illustrations
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 (OCoLC)26749989
 (OCoLC)ocm26749989
Subject
 Automatic  Congresses
 Conference proceedings
 HOL
 Kongress
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical  Congresses
 Logic, Symbolic and mathematical  Congresses
 Logic,  Congresses
 Automatic theorem proving
 Automatic theorem proving  Congresses
 Automatic theorem proving  Congresses
Genre
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/Proceedingsofthe1991InternationalWorkshopon/tfF9XOTZrQ/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Proceedingsofthe1991InternationalWorkshopon/tfF9XOTZrQ/">Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 2830, 1991, Davis, California, edited by Myla Archer [and others] ; sponsored by University of California, Davis, University of Idaho, University of British Columbia ; in cooperation with IEEE Computer Society, ACM SIGDA</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 2830, 1991, Davis, California, edited by Myla Archer [and others] ; sponsored by University of California, Davis, University of Idaho, University of British Columbia ; in cooperation with IEEE Computer Society, ACM SIGDA
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/Proceedingsofthe1991InternationalWorkshopon/tfF9XOTZrQ/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Proceedingsofthe1991InternationalWorkshopon/tfF9XOTZrQ/">Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 2830, 1991, Davis, California, edited by Myla Archer [and others] ; sponsored by University of California, Davis, University of Idaho, University of British Columbia ; in cooperation with IEEE Computer Society, ACM SIGDA</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>