Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=144098458.

Automated reasoning techniques for hybrid logics / Daniel Alejandro Gorín ; sous la direction de Patrick Blackburn et de Verónica Becher

Date :

Editeur / Publisher : , 2009

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Logique du premier ordre -- Thèses et écrits académiques

Logique mathématique -- Thèses et écrits académiques

Théorèmes -- Démonstration automatique -- Thèses et écrits académiques

Classification Dewey : 004

Blackburn, Patrick (1959-....) (Directeur de thèse / thesis advisor)

Becher, Verónica (Directeur de thèse / thesis advisor)

Université de Nancy I (Organisme de soutenance / degree-grantor)