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

Ville d'édition : Paris

Pays d'édition : France

Langue : Français

EAN13 : 9782040187576

ISBN : 2-04-018757-X

Collation : 24 cm ; Bibliogr. p.395-416 ; broch. ; fig. ; Index ; xx

Collection : Dunod informatique

Localisation : Ouvrage RdC (Appr)

Code ACM : I.2.0 ; I.2.2 ; I.2.3 ; I.2.4 ; I.2.7

Type d'ouvrage : Anonyme

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires