National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Heuberger, Philipp
URI:
http://urn.fi/URN:NBN:fi:bib:me:P00012667901
name
Heuberger, Philipp
Authored works
Weak and strong structural induction and its mechanical support by a proof tool
Works contributed to
Works about Heuberger, Philipp
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD