National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Tuominen, Heikki
URI:
http://urn.fi/URN:NBN:fi:au:pn:000061365
name
Tuominen, Heikki
Authored works
A logical basis for C/E-systems
Logic in Petri net analysis
Works contributed to
Helsinki logic machine : a system for logical expertise
Report : For the years 1984-1986
Works about Tuominen, Heikki
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
