Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 720 p.
ISBN 978-3-540-16492-0
Lecture notes in computer science , 0225
Localisation : Collection 1er étage
algorithmique # architecture # complexité # implementation parallèle # langage de programmation # langage logique # logique de programmation # logique mathématiques # programmation # sémantique
68N15 ; 68Nxx ; 68Q55 ; 68Qxx ; 68SXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8186-0799-8
Localisation : Colloque 1er étage (SAN)
intelligence artificielle # langage # linguistique mathemati que # programmation logique
68N15 ; 68SXX ; 68T25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 429 p.
ISBN 978-3-540-11212-9
Lecture notes in computer science , 0131
Localisation : Collection 1er étage
logique de programmation # logique mathématiques # programme
68Q45 ; 68Q55 ; 68S10 ; 68SXX
... 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 133 p.
ISBN 978-2-225-81504-1
Etudes et recherches en informatique
Localisation : Ouvrage RdC (AUTE)
langage algébrique # théorie des langages # transduction rationnelles
68Q45 ; 68Qxx ; 68SXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 365 p.
ISBN 978-0-387-90641-6
Texts and monographs in computer science
Localisation : Ouvrage RdC (GRIE)
68N05 ; 68N15 ; 68SXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 460 p.
ISBN 978-0-201-18048-0
International computer science series
Localisation : Ouvrage RdC (GOUG)
analyse des données # analyse syntaxique # automate états finis # compilateur # constuction de compilateur # grammaire # informatique # langage # linguistique # outils logiciels # programmation # réalisation anormale # théorie des langages
68Q45 ; 68SXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 276 p.
Localisation : Ouvrage RdC (BOUD)
calcul des propositions # calcul des prédicats # langage mathématique # logique mathématique axiomatique # logique mathématique non axiomatique # quantificateur fini ou relatif # relativité des langages # syntaxe et sémantique # théorie des langages # théorie quantifiée # théorie égalitaire
03Bxx ; 68Qxx ; 68SXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 228 p.
ISBN 978-0-521-30413-9
Localisation : Ouvrage RdC (CHAP)
grammaire # langage # langage de programmation # linguistique # lr parsing # théorie des langages
68N15 ; 68SXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 273 p.
ISBN 978-2-225-81266-8
Methode + programmes
Localisation : Ouvrage RdC (BART)
analyse combinatoire de données # arbre # intelligence artificielle # programmation # représentation des proximités
68R15 ; 68SXX ; 68Txx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 284 p.
ISBN 978-0-7458-0109-4
Ellis horwood series in computer and their applications
Localisation : Monographie RdC (ABRA)
langage de programmation # langage déclaratif # progammation # programme informatique # prolog # validation
68N15 ; 68Nxx ; 68Q60 ; 68SXX
... Lire [+]