Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-09724-4> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- 3-540-09724-4 author1link "Michael J. C. Gordon".
- 3-540-09724-4 date "1979".
- 3-540-09724-4 doi "10.1007/3-540-09724-4".
- 3-540-09724-4 first1 "Michael J.".
- 3-540-09724-4 first2 "Arthur J.".
- 3-540-09724-4 first3 "Christopher P.".
- 3-540-09724-4 isCitedBy Logic_for_Computable_Functions.
- 3-540-09724-4 isbn "978-3-540-09724-2".
- 3-540-09724-4 last1 "Gordon".
- 3-540-09724-4 last2 "Milner".
- 3-540-09724-4 last3 "Wadsworth".
- 3-540-09724-4 publisher "Springer Berlin Heidelberg".
- 3-540-09724-4 series "Lecture Notes in Computer Science".
- 3-540-09724-4 title "Edinburgh LCF: A Mechanised Logic of Computation".
- 3-540-09724-4 volume "78".