- Notice
Automates de Büchi
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
Büchi, Automates de
Büchi, Automates de
Source(s) :
Théorie des automates et applications, 1991 . - Exercices et problèmes d'algorithmique, 2010 . - Automates sur les ordres linéaires : complémentation / C. Rispal, 2004 [thèse]
Théorie des automates et applications, 1991 . - Exercices et problèmes d'algorithmique, 2010 . - Automates sur les ordres linéaires : complémentation / C. Rispal, 2004 [thèse]
Domaine(s) : 510
. - 621
Pas de correspondance :
- LCSH (Library of Congress Subject Headings)
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec))
- LCSH (Library of Congress Subject Headings)
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec))
Identifiant de la notice : ark:/12148/cb17141367g
Notice n° :
FRBNF17141367
Création :
17/07/20