Matches in DBpedia 2016-04 for { <http://books.google.com/books/about/Constructing_programs_automatically_usin.html?id=ZuSqSgAACAAJ> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- Constructing_programs_automatically_usin.html?id=ZuSqSgAACAAJ first "Richard J".
- Constructing_programs_automatically_usin.html?id=ZuSqSgAACAAJ isCitedBy Richard_Waldinger.
- Constructing_programs_automatically_usin.html?id=ZuSqSgAACAAJ last "Waldinger".
- Constructing_programs_automatically_usin.html?id=ZuSqSgAACAAJ publisher Carnegie_Mellon_School_of_Computer_Science.
- Constructing_programs_automatically_usin.html?id=ZuSqSgAACAAJ publisher Carnegie_Mellon_University.
- Constructing_programs_automatically_usin.html?id=ZuSqSgAACAAJ title "Constructing programs automatically using theorem proving".
- Constructing_programs_automatically_usin.html?id=ZuSqSgAACAAJ url "http://books.google.com/books/about/Constructing_programs_automatically_usin.html?id=ZuSqSgAACAAJ".
- Constructing_programs_automatically_usin.html?id=ZuSqSgAACAAJ year "1969".