Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Colloque 1er étage (MURO)
addition # algèbre associative de dimension infinie # alphabet infini # ensemble d'essai # ensemble d'égalité # ensemble reconnaissable de mot bi-infini # fonction rationnelle # intersection des CFL # langage commutatif # langage context-free # langage de type FIFO ou LIFO # langage formel # mot infini # mélange itéré des cartes # représentation # substitution # théorie des langages # transduction rationnelle # équivalence des langages NTS
68FXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 167 p.
ISBN 978-0-201-09590-6
The addison-wesley series in artificial intelligence
Localisation : Ouvrage RdC (WILE)
68FXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 189 p.
Mathematical centre tracts , 0017
Localisation : Collection 1er étage
algol60 # inf ormatique # langage de programmation # programmation # programmation mathématiques
68A15 ; 68A30 ; 68FXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 388 p.
ISBN 978-0-88385-100-5
Studies in mathematics , 0022
Localisation : Ouvrage RdC (Stud)
analyse des données # informatique # intelligence artificielle # language formel # programmation
68-02 ; 68-06 ; 68A05 ; 68FXX ; 68GXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 163 p.
ISBN 978-90-6196-086-7
Mathematical centre tracts , 0048
Localisation : Collection 1er étage
algol60 # langage de programmation
68A30 ; 68FXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 216 p.
ISBN 978-90-6196-363-9
CWI tract , 0056
Localisation : Collection 1er étage
analyse des programmes # automate # circuit # commande combinatoire # commande non combinatoire # configuration des réseaux # réseau informatique # translation # vérification de programme
68B10 ; 68D10 ; 68FXX ; 94Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 412 p.
ISBN 978-0-12-206380-0
Computer science and applied mathematics
Localisation : Ouvrage RdC (DAVI)
théorie de récursion # théorie de calcul
68C25 ; 68FXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 162 p.
Mathematical centre tracts , 0030
Localisation : Collection 1er étage
langage # langage formel # langage naturel # linguistique
68FXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 278 p.
ISBN 978-90-6196-326-4
CWI tract , 0042
Localisation : Collection 1er étage
informatique théorique # outil mathématique de l'informatique
68-XX ; 68B05 ; 68CXX ; 68DXX ; 68FXX
... Lire [+]
