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

Publisher City : Paris

Publisher country : France

Language : French

EAN13 : 9782040187576

ISBN : 2-04-018757-X

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

Series : Dunod informatique

Location : Ouvrage RdC (Appr)

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

Book type : Anonyme

Availability : empruntable

Level of authorization : Public

Copies