m

F Nous contacter

0

Documents  Thayse, Andre | enregistrements trouvés : 5

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 222 p.
ISBN 978-2-7462-0905-3

Localisation : Ouvrage RdC (THAY)

calcul differentiel # logique # calcul intégrale # informatique # logique booléenne

68N17 ; 94C10 ; 03B70

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 427 p.
ISBN 978-2-04-018757-6

Dunod informatique

Localisation : Ouvrage RdC (Appr)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 358 p.
ISBN 978-2-10-000073-9

Dunod informatique

Localisation : Enseignement RdC (Appr)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 246 p.
ISBN 978-3-540-13358-2

Lecture notes in computer science , 0175

Localisation : Collection 1er étage

algorithme # booléen # discret # fonction discrète # mathématiques discrètes # matrices booléennes # p-fonctions

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 144 p.
ISBN 978-3-540-10286-1

Lecture notes in computer science , 0101

Localisation : Collection 1er étage

algèbre de Boole # booléen # différence booléenne # fonction booléennes # logique

03G05 ; 03Gxx ; 94C09

... Lire [+]

Z