National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Grundy, Jim
URI:
http://urn.fi/URN:NBN:fi:bib:me:P00084768802
name
Grundy, Jim
Authored works
Works contributed to
Supplementary proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics : TPHOLs'96
Works about Grundy, Jim
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
