Matches in DBpedia 2016-04 for { <http://www.springerlink.com/content/u7tn18130148t65m/> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- u7tn18130148t65m first "H.".
- u7tn18130148t65m isCitedBy Mizar_system.
- u7tn18130148t65m issue "1".
- u7tn18130148t65m journal "Sadhana".
- u7tn18130148t65m last "Geuvers".
- u7tn18130148t65m title "Proof assistants: History, ideas and future".
- u7tn18130148t65m url u7tn18130148t65m.
- u7tn18130148t65m volume "34".
- u7tn18130148t65m year "2009".