Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/ad673edca36ab8dc20807678c3b6c0af262721cd17a40258e07acb7a6b016873> ?p ?o }
Showing triples 1 to 5 of
5
with 100 triples per page.
- ad673edca36ab8dc20807678c3b6c0af262721cd17a40258e07acb7a6b016873 date "Feb 1989".
- ad673edca36ab8dc20807678c3b6c0af262721cd17a40258e07acb7a6b016873 first1 "Loic".
- ad673edca36ab8dc20807678c3b6c0af262721cd17a40258e07acb7a6b016873 isCitedBy Anti-unification_(computer_science).
- ad673edca36ab8dc20807678c3b6c0af262721cd17a40258e07acb7a6b016873 last1 "Pottier".
- ad673edca36ab8dc20807678c3b6c0af262721cd17a40258e07acb7a6b016873 title "Algorithms des completion et generalisation en logic du premier ordre".