Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00007672
automate et grammaire # code et langage # combinatoire et énumération # combinatoire sur mot # suite de Thue # système de Thue
03B40 ; 05-06 ; 05A15 ; 54H20 ; 57Txx
Localisation : Colloque 1er étage (WATE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 181 p.
Cote : 00008904
03B40 ; 68F20
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00011890
biographie # calcul lambda # logique # logique classique # logique de programmation # logique symbolique # progammation # programmation logique
03B40 ; 03B70 ; 03Exx ; 60Q40
Localisation : Colloque 1er étage (DRUZ)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 439 p.
Cote : 00017041
3-satisfiabilité # algorithme de temps linéaire # algèbre de déduction communicante # autointerpréteur de lambda calcul # comptage sur des structures finies # déduction et preuve de théorème # définabilité inductive # définabilité logique # entaille de Kleene # fonction partielle d'ordre sumérieur # formalisme de représentation de connaissance # informatique théorique # inséparabilité récursive # jeu de Ehrenfeucht-Fraïssé # lambda calcul linéaire # langage de programmation # langage de programmation C # langage fonctionnel # logique de base des preuves # logique du point fixe stratifiée # logique linéaire # machine Oracle à temps polynômial # machine de Turing # mathématique discrète # modèle catégorique # prauve de NP-complétude # problème NP-complet # problème d'optimisation NP # programmation logique fonctionnelle # programme de logique complet en négation # prédicat auxiliaire monadique # structuration algorithmique des preuves libres de coupure # sémantique des systèmes de transition comparative # sémantique opérationnelle
[-]
3-satisfiabilité # algorithme de temps linéaire # algèbre de déduction communicante # autointerpréteur de lambda calcul # comptage sur des structures finies # déduction et preuve de théorème # définabilité inductive # définabilité logique # entaille de Kleene # fonction partielle d'ordre sumérieur # formalisme de représentation de connaissance # informatique théorique # inséparabilité récursive # jeu de Ehrenfeucht-Fraïssé # lambda calcul ...
[+]
03B40 ; 03D10 ; 03D70 ; 18A15 ; 68Qxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 403 p.
Cote : 00020979
calcul lambda # langage formel # logique combinatoire # logique de programmation # logique mathématique # signification des programmes # technique de programmation
03B40 ; 68N15 ; 68N17 ; 68Nxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 295 p.
Cote : 00023308
arbre de Böhm # calcul lambda # logique # logique d"ordre supérieur # logique linéaire # modèle lambda # preuve mathématique des systèmes constructifs # système d"attribution de type # théorie des types
03B15 ; 03B40 ; 03F05 ; 03F50 ; 68Q05
Localisation : Colloque 1er étage (TOKY)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 396 p.
Cote : 00023400
arithmétique # logique # logique combinatoire # numération de Gödel # point fixe # récursion # synchronisation # système formel # système récursif # système séquentiel # théorème d"incomplétude
03-01 ; 03-02 ; 03B40 ; 03D20 ; 03D25 ; 03F30 ; 03F40
Localisation : Ouvrage RdC (SMUL)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 377 p.
Cote : 00024290
logique # réduction # résolution # informatique théorique # programmation logique # programmation fonctionnelle # calcul lambda # modèle # calculabilité # réécriture # complexité # théorie du calcul sémantique
68-02 ; 03B40 ; 03B70 ; 03C05 ; 68N17 ; 68Q42
Localisation : Ouvrage RdC (LALE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 611 p.
Cote : 00024189
intelligence artificielle # programmation logique # épistémologie # raisonnement épistémologique # temps # raisonnement temporel # logique dans le temps
68-00 ; 68Q55 ; 03B70 ; 68Q10 ; 68Q65 ; 03D45 ; 68Q60 ; 06B35 ; 03B40
Localisation : Ouvrage RdC (Hand)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.