Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-48660-7_25> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- 3-540-48660-7_25 author2 "Dustin Mitchell".
- 3-540-48660-7_25 doi "10.1007/3-540-48660-7_25".
- 3-540-48660-7_25 first "Gopalan".
- 3-540-48660-7_25 isCitedBy ΛProlog.
- 3-540-48660-7_25 journal "Conference on Automated Deduction".
- 3-540-48660-7_25 last "Nadathur".
- 3-540-48660-7_25 page "287-291".
- 3-540-48660-7_25 series "LNAI".
- 3-540-48660-7_25 title "System Description: Teyjus - A Compiler and Abstract Machine Based Implementation of lambda Prolog".
- 3-540-48660-7_25 url 3-540-48660-7_25.
- 3-540-48660-7_25 volume "1632".
- 3-540-48660-7_25 year "1999".