Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-322-96753-4> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 978-3-322-96753-4 date "1987".
- 978-3-322-96753-4 doi "10.1007/978-3-322-96753-4".
- 978-3-322-96753-4 edition "2".
- 978-3-322-96753-4 first1 "Jacques".
- 978-3-322-96753-4 first2 "Kurt".
- 978-3-322-96753-4 isCitedBy Logic_for_Computable_Functions.
- 978-3-322-96753-4 isbn "978-3-322-96754-1".
- 978-3-322-96753-4 last1 "Loeckx".
- 978-3-322-96753-4 last2 "Sieber".
- 978-3-322-96753-4 publisher "Vieweg+Teubner Verlag".
- 978-3-322-96753-4 title "The Foundations of Program Verification".