Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN978-3-540-60017-6> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- books?vid=ISBN978-3-540-60017-6 chapter "A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure".
- books?vid=ISBN978-3-540-60017-6 editor1First "Leszek".
- books?vid=ISBN978-3-540-60017-6 editor1Last "Pacholski".
- books?vid=ISBN978-3-540-60017-6 editor2First "Jerzy".
- books?vid=ISBN978-3-540-60017-6 editor2Last "Tiuryn".
- books?vid=ISBN978-3-540-60017-6 first1 "Hugo".
- books?vid=ISBN978-3-540-60017-6 isCitedBy Curry–Howard_correspondence.
- books?vid=ISBN978-3-540-60017-6 isbn "978-3-540-60017-6".
- books?vid=ISBN978-3-540-60017-6 last1 "Herbelin".
- books?vid=ISBN978-3-540-60017-6 location "Berlin; New York".
- books?vid=ISBN978-3-540-60017-6 pages "61–75".
- books?vid=ISBN978-3-540-60017-6 publisher Springer-Verlag.
- books?vid=ISBN978-3-540-60017-6 series "Lecture Notes in Computer Science".
- books?vid=ISBN978-3-540-60017-6 title "--09-25".
- books?vid=ISBN978-3-540-60017-6 volume "933".
- books?vid=ISBN978-3-540-60017-6 year "1995".