Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/a99204441e9fa4e19cc2ed63da2e88eee19e0487e4e1aa44ce7687fb77fa46f0> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- a99204441e9fa4e19cc2ed63da2e88eee19e0487e4e1aa44ce7687fb77fa46f0 author "Jonathan Traugott".
- a99204441e9fa4e19cc2ed63da2e88eee19e0487e4e1aa44ce7687fb77fa46f0 chapter "Deductive Synthesis of Sorting Programs".
- a99204441e9fa4e19cc2ed63da2e88eee19e0487e4e1aa44ce7687fb77fa46f0 isCitedBy Program_synthesis.
- a99204441e9fa4e19cc2ed63da2e88eee19e0487e4e1aa44ce7687fb77fa46f0 pages "641–660".
- a99204441e9fa4e19cc2ed63da2e88eee19e0487e4e1aa44ce7687fb77fa46f0 publisher "Springer".
- a99204441e9fa4e19cc2ed63da2e88eee19e0487e4e1aa44ce7687fb77fa46f0 series "LNCS".
- a99204441e9fa4e19cc2ed63da2e88eee19e0487e4e1aa44ce7687fb77fa46f0 title "Proceedings of the International Conference on Automated Deduction".
- a99204441e9fa4e19cc2ed63da2e88eee19e0487e4e1aa44ce7687fb77fa46f0 volume "230".
- a99204441e9fa4e19cc2ed63da2e88eee19e0487e4e1aa44ce7687fb77fa46f0 year "1986".