m

Documents  68T27 | enregistrements trouvés : 6

O
     

-A +A

P Q

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


ISBN 978-1-55860-300-4

Localisation : Colloque 1er étage (CHAM)

apprentissage machine # langage naturel # paneau # panel # physique naive # planning # programmation logique # qualitatif # raisonnement # reseau neuronnaux # robotique et vision # vidéo # vision

68T05 ; 68T25 ; 68T27 ; 68T30 ; 68T35 ; 68Txx ; 68Uxx

... Lire [+]

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

- 386p.
ISBN 978-3-540-56944-2

Lecture notes in artificial intelligence , 0698

Localisation : Colloque 1er étage (STPE)

informatique # logique de programmation # algorithme de démonstration de théorème # intelligence artificielle # raisonnement automatisé

00B25 ; 68-06 ; 68N17 ; 68T15 ; 68T27

... Lire [+]

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

- 456 p.
ISBN 978-0-387-94893-5

Graduate texts in computer science

Localisation : Ouvrage RdC (NERO)

application # informatique théorique # logique des prédicats # logique intuitive # logique mathématique # logique modale # logique symbolique # prologue # élément de théorie d'ensemble

03B45 ; 68N17 ; 68Q40 ; 68T27 ; 68T30

... Lire [+]

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

- 179 p.
ISBN 978-1-881526-83-4

Csli lecture notes , 0073

Localisation : Ouvrage RdC (BREW)

intelligence artificielle # logique de programmation # logique non classique

03B60 ; 03B70 ; 68T27

... Lire [+]

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

- 243 p.
ISBN 978-3-540-62482-0

Lecture notes in artificial intelligence , 1187

Localisation : Ouvrage RdC (SCHL)

raisonnement logique # intelligence artificielle # logique informatique

03B60 ; 03B70 ; 68T27

... Lire [+]

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

- 125 p.

Localisation : Ouvrage RdC (GIRA)

logique # CAO # représentation des objets

68T27

... Lire [+]

Z