Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 475 p.
Cote : 00007618
03Dxx ; 03Fxx ; 68CXX
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 427 p.
Cote : 00015258
gestion de base de données # informatique théorique # intelligence artificielle # langage de programmation # logique de l'informatique # logique stable # manipulation algébrique # mathématique de calcul # mathématique discrète # problème de Church # réseau de Petri # système de réécriture de terme
68-06 ; 68P15 ; 68Q42 ; 68Rxx ; 68Txx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 456 p.
Cote : 00011691
algorithme # automate # complexité # indécidabilité # logique # machine
03D05 ; 20F10 ; 68Q30 ; 68Qxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 592 p.
Cote : 00013037
classe de complexité # informatique
03D15 ; 68Q15
Localisation : Ouvrage RdC (BORG)
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