Linked Data Explorer
Turtle
N-Triple
JSON-LD
RDF/XML
HTML
Contact Us
Home
http://worldcat.org/entity/work/id/1088022159
Analysis of methods for extraction of programs from non-constructive proofs
Open All
Close All
type
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.productontology.org/id/Thesis
http://schema.org/CreativeWork
author
http://schema.org/author
http://worldcat.org/entity/person/id/2640596720
creator
http://schema.org/creator
http://worldcat.org/entity/person/id/2640596720
name
http://schema.org/name
"
Analysis of methods for extraction of programs from non-constructive proofs
"
workExample
http://schema.org/workExample
http://www.worldcat.org/oclc/794511735
http://www.worldcat.org/oclc/779890405
http://www.worldcat.org/oclc/839835408
Linked Data Explorer