Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 427 p.
Cote : 00016438
base de données déductives # base de données relationnelles # biblog # circonscription # formalisme # grammaire catégorielle # grammaire de Chomosky # intelligence artificielle # langage formel # langage logique # langage naturelle # logique des propositions # logique des prédicats # logique dynamique # logique déontique # logique intensionnelle # logique modale # logique non monotone # logique temporelle # logique épistémique # mathématique # programmation logique # raisonnement révisable # représentation de la connaissance # réécriture des systèmes
[-] base de données déductives # base de données relationnelles # biblog # circonscription # formalisme # grammaire catégorielle # grammaire de Chomosky # intelligence artificielle # langage formel # langage logique # langage naturelle # logique des propositions # logique des prédicats # logique dynamique # logique déontique # logique intensionnelle # logique modale # logique non monotone # logique temporelle # logique épistémique # mathématique # ...
[+] 03B45 ; 68P15 ; 68Txx
Localisation : Ouvrage RdC (Appr)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 727 p.
Cote : 00016643
(dés)unification # ABSYS # Prolog proche de Horn # inférence inductive des théories à partir des faits # logique du calcul # logique modale # procédure de complétion # programmation logique # retour chez soi intelligent # science du raisonnement # système de réécriture orthogonale
03B45 ; 68N17 ; 68Q42
Localisation : Ouvrage RdC (Comp)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 237 p.
Cote : 00011173
algèbre universelle # langage naturel # linguistique mathématiques # logique # logique mathématiqu es # logique modale # logique symbolique
03B45 ; 03B65 ; 08A40 ; 08A55 ; 68S10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 172 p.
Cote : 00022206
classe de complexité # complexité du calcul # grammaire # informatique # langue # linguistique mathématique # logique du langage # logique modale # théorie de preuve
03B45 ; 03B65 ; 03F40 ; 68Q15 ; 68S08
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- x-181 p.
Cote : 00037474
logique mathématique # théorie des modèles # informatique
03-06 ; 00B25 ; 00B30 ; 03B45 ; 03Cxx ; 03Dxx
Localisation : Colloque 1er étage (SING)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 152 p.
Cote : 00006729
langage proportionnel # logique booléenne # logique classique # logique commune # logique modale # logique pré- classique # opérateur proportionnel classique
03-03 ; 03B05 ; 03B45 ; 03Bxx ; 03Cxx
Localisation : Ouvrage RdC (SEGE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 599 p.
Cote : 00010512
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème
03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 322 p.
Cote : 00010511
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème
03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 164 p.
Cote : 00010390
analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel
03B45 ; 68B10 ; 68C01 ; 68F05 ; 68F20
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 133 p.
Cote : 00012098
automate # axiomatique # axiomatisabilite # langage de progammation # logique modale # probabilité de l'automatique # progammation # théorie de la programmation # théorie des langages
03B45 ; 03E25 ; 68N15 ; 68Q75
Localisation : Collection 1er étage
English