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.
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.
- 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.
- 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.
- 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 [+]
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.
- 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.
- 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.
- 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.
- 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 [+]
