Coverart for item
The Resource Open architectures for formal reasoning and deductive technologies for software development : final report 5/1/91-7/31/94, grant no. NAG2-703, principal investigators, John McCarthy, Zohar Manna [and others], (microform)

Open architectures for formal reasoning and deductive technologies for software development : final report 5/1/91-7/31/94, grant no. NAG2-703, principal investigators, John McCarthy, Zohar Manna [and others], (microform)

Label
Open architectures for formal reasoning and deductive technologies for software development : final report 5/1/91-7/31/94, grant no. NAG2-703
Title
Open architectures for formal reasoning and deductive technologies for software development
Title remainder
final report 5/1/91-7/31/94, grant no. NAG2-703
Statement of responsibility
principal investigators, John McCarthy, Zohar Manna [and others]
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GPO
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • McCarthy, John
  • Manna, Zohar
  • United States
Series statement
NASA contractor report
Series volume
NASA CR-197528
Label
Open architectures for formal reasoning and deductive technologies for software development : final report 5/1/91-7/31/94, grant no. NAG2-703, principal investigators, John McCarthy, Zohar Manna [and others], (microform)
Instantiates
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 95-0297-M
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
32834834
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
1 volume
Form of item
microfiche
Generation
first generation master
Lccn
lum95037138
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
http://library.link/vocab/ext/overdrive/overdriveId
n 95-16586
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
System control number
(WaOLN)1661666
Label
Open architectures for formal reasoning and deductive technologies for software development : final report 5/1/91-7/31/94, grant no. NAG2-703, principal investigators, John McCarthy, Zohar Manna [and others], (microform)
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 95-0297-M
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
32834834
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
1 volume
Form of item
microfiche
Generation
first generation master
Lccn
lum95037138
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
http://library.link/vocab/ext/overdrive/overdriveId
n 95-16586
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
System control number
(WaOLN)1661666

Library Locations

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