National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Julkaisu / Tampereen teknillinen korkeakoulu, laskentakeskus
URI:
http://urn.fi/URN:NBN:fi:bib:me:W00394162602
hasPart
On investigation of independence models of certain axiom systems by using computers
isPartOf
Fennica
name
Julkaisu / Tampereen teknillinen korkeakoulu, laskentakeskus
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
