Linked Data Explorerhttp://worldcat.org/entity/work/id/37115620
Open architectures for formal reasoning and deductive technologies for software development final report 5/1/91-7/31/94, grant no. NAG2-703
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/37115620#Topic/software_engineering
- http://id.worldcat.org/fast/1124185
- http://id.loc.gov/authorities/subjects/sh85029534
- http://experiment.worldcat.org/entity/work/data/37115620#Topic/information_transfer
- http://experiment.worldcat.org/entity/work/data/37115620#Topic/software_tools
- http://id.worldcat.org/fast/872390
- http://id.loc.gov/authorities/subjects/sh85107310
- http://id.worldcat.org/fast/872527
- http://experiment.worldcat.org/entity/work/data/37115620#Topic/human_computer_interface
- http://experiment.worldcat.org/entity/work/data/37115620#Topic/mathematical_logic
- http://experiment.worldcat.org/entity/work/data/37115620#Topic/computer_programming
- http://experiment.worldcat.org/entity/work/data/37115620#Topic/architecture_computers
- http://experiment.worldcat.org/entity/work/data/37115620#Topic/cognition
- http://experiment.worldcat.org/entity/work/data/37115620#Topic/complex_systems
- http://experiment.worldcat.org/entity/work/data/37115620#Topic/distributed_processing
- http://id.worldcat.org/fast/872026
- http://id.loc.gov/authorities/subjects/sh85029479
- http://experiment.worldcat.org/entity/work/data/37115620#Topic/semantics
- http://id.loc.gov/authorities/subjects/sh87007398
- http://id.loc.gov/authorities/subjects/sh85042293
- http://id.worldcat.org/fast/906987
http://schema.org/name
- "Open architectures for formal reasoning and deductive technologies for software development final report 5/1/91-7/31/94, grant no. NAG2-703"@en