Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/ca2a0673988189e2e0f4325b18a0eebe7b14a00d9f5a56b53fbf050c5d99defb> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- ca2a0673988189e2e0f4325b18a0eebe7b14a00d9f5a56b53fbf050c5d99defb date "Sep 1976".
- ca2a0673988189e2e0f4325b18a0eebe7b14a00d9f5a56b53fbf050c5d99defb first "Gérard".
- ca2a0673988189e2e0f4325b18a0eebe7b14a00d9f5a56b53fbf050c5d99defb isCitedBy Higher-order_logic.
- ca2a0673988189e2e0f4325b18a0eebe7b14a00d9f5a56b53fbf050c5d99defb language "French".
- ca2a0673988189e2e0f4325b18a0eebe7b14a00d9f5a56b53fbf050c5d99defb last "Huet".
- ca2a0673988189e2e0f4325b18a0eebe7b14a00d9f5a56b53fbf050c5d99defb publisher "Universite de Paris VII".
- ca2a0673988189e2e0f4325b18a0eebe7b14a00d9f5a56b53fbf050c5d99defb title "Resolution d'Equations dans des Langages d'Ordre 1,2,...ω".
- ca2a0673988189e2e0f4325b18a0eebe7b14a00d9f5a56b53fbf050c5d99defb type "Ph.D.".