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=044116411.

Automates alternants et logiques temporelles, satisfaction de contraintes temporelles [Texte imprimé] / Amar Isli ; Sous la direction de Gérard Plateau

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 1993

Format : 1 vol. (190 P.)

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Algorithmes

Logique temporelle

Plateau, Gérard (1946-....) (Directeur de thèse / thesis advisor)

Université Paris 13 (Organisme de soutenance / degree-grantor)