Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-09526-8_11> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 3-540-09526-8_11 accessDate "2016-02-16".
- 3-540-09526-8_11 chapter "Lcf: A way of doing proofs with a machine".
- 3-540-09526-8_11 date "1979".
- 3-540-09526-8_11 doi "10.1007/3-540-09526-8_11".
- 3-540-09526-8_11 editor "Bečvář, Jiří".
- 3-540-09526-8_11 first "Robin".
- 3-540-09526-8_11 isCitedBy Logic_for_Computable_Functions.
- 3-540-09526-8_11 isbn "978-3-540-09526-2".
- 3-540-09526-8_11 last "Milner".
- 3-540-09526-8_11 pages "146–159".
- 3-540-09526-8_11 publisher "Springer Berlin Heidelberg".
- 3-540-09526-8_11 series "Lecture Notes in Computer Science".
- 3-540-09526-8_11 title "Mathematical Foundations of Computer Science 1979".
- 3-540-09526-8_11 volume "74".