Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 427 p.
Call n° : 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
Location : Ouvrage RdC (Appr)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 144 p.
Call n° : 00013855
algèbre de Boole # booléen # différence booléenne # fonction booléennes # logique
03G05 ; 03Gxx ; 94C09
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 358 p.
Call n° : 00016437
adaptation # apprentissage # biblog # conception conceptuelle des systèmes informatiques # conception des systèmes informatiques # intelligence artificielle # langage formel # méta-programmation # prolog # système automath # sémantique booléenne # sémantique des situations # sémantique formelle # transformation de programme # vérification de preuve
68Q45 ; 68Q55 ; 68Q60 ; 68T05 ; 68U07
Location : Enseignement RdC (Appr)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 246 p.
Call n° : 00013902
algorithme # booléen # discret # fonction discrète # mathématiques discrètes # matrices booléennes # p-fonctions
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 222 p.
Call n° : 00026752
calcul differentiel # logique # calcul intégrale # informatique # logique booléenne
68N17 ; 94C10 ; 03B70
Location : Ouvrage RdC (THAY)
Français