m

Documents  68S10 | enregistrements trouvés : 3

O
     

-A +A

P Q

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

- 429 p.
ISBN 978-3-540-11212-9

Lecture notes in computer science , 0131

Localisation : Collection 1er étage

logique de programmation # logique mathématiques # programme

68Q45 ; 68Q55 ; 68S10 ; 68SXX

... Lire [+]

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

- 237 p.
ISBN 978-90-6196-306-6

CWI tract , 0028

Localisation : Collection 1er étage

algèbre universelle # langage naturel # linguistique mathématiques # logique # logique mathématiqu es # logique modale # logique symbolique

03B45 ; 03B65 ; 08A40 ; 08A55 ; 68S10

... Lire [+]

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

- 258 p.

Thèse docteur

Localisation : Ouvrage RdC (COUP)

intelligence artificielle # langage mathématique # sémantique #

68S10 ; 68T25

... Lire [+]

Z