The Resource Theory interpretations in PVS, Sam Owre and Natarajan Shankar, (microform)

Theory interpretations in PVS, Sam Owre and Natarajan Shankar, (microform)

Label
Theory interpretations in PVS
Title
Theory interpretations in PVS
Statement of responsibility
Sam Owre and Natarajan Shankar
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorName
Owre, Sam
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Shankar, N.
  • Langley Research Center
Series statement
NASA contractor report
Series volume
NASA/CR-2001-211024
http://library.link/vocab/subjectName
  • Mechanization
  • Programming languages (Electronic computers)
  • Mechanization
  • Programming languages
  • Proving
Label
Theory interpretations in PVS, Sam Owre and Natarajan Shankar, (microform)
Instantiates
Publication
Note
  • Shipping list no.: 2002-0230-M
  • "July 2001."
Carrier category
microfiche
Carrier category code
  • he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
50065665
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
1 volume
Form of item
microfiche
Generation
first generation master
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
http://library.link/vocab/ext/overdrive/overdriveId
20010066742
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
System control number
  • tmp97300035
  • (GPO)99097138
Label
Theory interpretations in PVS, Sam Owre and Natarajan Shankar, (microform)
Publication
Note
  • Shipping list no.: 2002-0230-M
  • "July 2001."
Carrier category
microfiche
Carrier category code
  • he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
50065665
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
1 volume
Form of item
microfiche
Generation
first generation master
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
http://library.link/vocab/ext/overdrive/overdriveId
20010066742
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
System control number
  • tmp97300035
  • (GPO)99097138

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...