| Property |
Value |
| dbo:abstract
|
- John Alan Robinson (né le 9 mars 1930 à Halifax (Royaume-Uni), et mort le 5 août 2016 à Portland (Maine)) est un philosophe, mathématicien et informaticien. Il termine sa carrière comme professeur émérite à l'Université de Syracuse. La contribution majeure d'Alan Robinson est aux fondements de la démonstration automatique de théorèmes. Son algorithme d'unification a éliminé une source d' explosion combinatoire dans les démonstrateurs de résolution ; il a également préparé le terrain pour le paradigme de programmation logique, en particulier pour le langage Prolog . Robinson a reçu le prix Herbrand 1996 pour ses « contributions remarquables au raisonnement automatisé ». (fr)
- John Alan Robinson (né le 9 mars 1930 à Halifax (Royaume-Uni), et mort le 5 août 2016 à Portland (Maine)) est un philosophe, mathématicien et informaticien. Il termine sa carrière comme professeur émérite à l'Université de Syracuse. La contribution majeure d'Alan Robinson est aux fondements de la démonstration automatique de théorèmes. Son algorithme d'unification a éliminé une source d' explosion combinatoire dans les démonstrateurs de résolution ; il a également préparé le terrain pour le paradigme de programmation logique, en particulier pour le langage Prolog . Robinson a reçu le prix Herbrand 1996 pour ses « contributions remarquables au raisonnement automatisé ». (fr)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthPlace
| |
| dbo:citizenship
| |
| dbo:deathPlace
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8949 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:accèsUrl
|
- registration (fr)
- registration (fr)
|
| prop-fr:auteur
| |
| prop-fr:date
|
- 1979 (xsd:integer)
- 1990 (xsd:integer)
- 1993 (xsd:integer)
- 2001 (xsd:integer)
- January 1965 (fr)
|
| prop-fr:doi
| |
| prop-fr:fr
|
- Méthode de résolution (fr)
- Méthode de résolution (fr)
|
| prop-fr:isbn
| |
| prop-fr:journal
| |
| prop-fr:lang
| |
| prop-fr:lienTitre
|
- Handbook of Automated Reasoning (fr)
- Handbook of Automated Reasoning (fr)
|
| prop-fr:nom
|
- Robinson (fr)
- Robinson (fr)
|
| prop-fr:numéro
| |
| prop-fr:pages
| |
| prop-fr:prénom
|
- John Alan (fr)
- John Alan (fr)
|
| prop-fr:responsabilité
|
- éditeurs (fr)
- éditeurs (fr)
|
| prop-fr:titre
|
- Handbook of Automated Reasoning (fr)
- A Machine-Oriented Logic Based on the Resolution Principle (fr)
- Logic: Form and Function (fr)
- Natural and Artificial Parallel Computation (fr)
- Handbook of Logic in Artificial Intelligence and Logic Programming (fr)
- Handbook of Automated Reasoning (fr)
- A Machine-Oriented Logic Based on the Resolution Principle (fr)
- Logic: Form and Function (fr)
- Natural and Artificial Parallel Computation (fr)
- Handbook of Logic in Artificial Intelligence and Logic Programming (fr)
|
| prop-fr:trad
|
- Resolventenmethode (fr)
- Resolventenmethode (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 1 (xsd:integer)
- 12 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- John Alan Robinson (né le 9 mars 1930 à Halifax (Royaume-Uni), et mort le 5 août 2016 à Portland (Maine)) est un philosophe, mathématicien et informaticien. Il termine sa carrière comme professeur émérite à l'Université de Syracuse. (fr)
- John Alan Robinson (né le 9 mars 1930 à Halifax (Royaume-Uni), et mort le 5 août 2016 à Portland (Maine)) est un philosophe, mathématicien et informaticien. Il termine sa carrière comme professeur émérite à l'Université de Syracuse. (fr)
|
| rdfs:label
|
- John Alan Robinson (fr)
- John Alan Robinson (de)
- John Alan Robinson (en)
- John Alan Robinson (pt)
- Робинсон, Джон Алан (ru)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
