m

F Nous contacter

0

Documents  I.2.4 | enregistrements trouvés : 17

O
     

-A +A

P Q

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

- 311 p.
ISBN 978-3-540-16479-1

Lecture notes in computer science , 0221

Localisation : Collection 1er étage

algorithme # inférence parallèle # intelligence artificielle # langage de programmation # langage de programmation logique # logique de programmation # logique mathématiques # machine # programmation # prolog

68N15 ; 68N20 ; 68Q20 ; 68T25

... Lire [+]

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

- 708 p.
ISBN 978-3-540-16780-8

Lecture notes in computer science , 0230

Localisation : Collection 1er étage

déduction et preuve de théorème # grammaire et autres systèmes de reécriture # logique mathématique # specification # vérification et raisonnement sur les programmes

68Q60 ; 68T15

... Lire [+]

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

- 618 p.
ISBN 978-3-540-52522-6

Lecture notes in computer science , 0427

Localisation : Collection 1er étage

image informatique # traitement des images

68Uxx

... Lire [+]

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

- 351 p.
ISBN 978-3-540-56282-5

Lecture notes in computer science , 649

Localisation : Collection 1er étage

méta-programmation # programmation logique # programmation transformationnelle

68N15 ; 68N17 ; 68Nxx ; F.4.1 ; I.2.4

... Lire [+]

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

- 564 p.
ISBN 978-3-540-61228-5

Lecture notes in computer science , 1073

Localisation : Collection 1er étage

algorithme et architecture # application à l'informatique # concurrence # forme et graphisme # grammaire de graphe # ingénieurie de logiciel # langage de graphe # spécification et sémantique # technique de réécriture

68Nxx ; 68Q42 ; 68Q55 ; 68Q60 ; 68Qxx

... Lire [+]

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

- 347 p.
ISBN 978-3-540-63385-3

Lecture notes in computer science , 1289

Localisation : Collection 1er étage

algorithme non numérique # complexité # formalisme # intelligence artificiel # langage formel # logique mathématique # méthode # procédure de preuve # représentation de connaissance # théorie de preuve

68N17 ; 68Q15 ; 68Q20 ; 68Q25 ; 68Q45

... Lire [+]

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


ISBN 978-1-55860-300-4

Localisation : Colloque 1er étage (CHAM)

AI distribuée # automate # automatique # intelligence artificielle # modèle co-positif # problème de satisfaction des contraintes # représentation des connaissances # système intelligent de Tutoring # technologie des connaissances de base

68T05 ; 68T20 ; 68T30 ; 68T35 ; 68Txx

... Lire [+]

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

- 555 p.
ISBN 978-2-903677-67-1

Localisation : Colloque 1er étage (PARI)

CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images

68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

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

- pp. 559-1055
ISBN 978-2-903677-67-1

Localisation : Colloque 1er étage (PARI)

CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images

68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

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

- pp. 1059-1758
ISBN 978-2-903677-67-1

Localisation : Colloque 1er étage (PARI)

CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images

68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

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

- 618 p.
ISBN 978-3-540-52522-6

Lecture notes in computer science , 0427

Localisation : Collection 1er étage

algorithmique # bord # délection de contour # format # géométrie de l

68N15 ; 68Nxx ; 68Q10 ; 68T10 ; 68T25 ; 68Txx ; 68U05 ; 68Uxx

... Lire [+]

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

- 158 p.
ISBN 978-2-225-80824-1

Manuels informatiques masson

Localisation : Ouvrage RdC (TURN)

intelligence artificielle # logique pour l'intelligence artificielle

68Txx

... Lire [+]

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

- 158 p.

Localisation : Ouvrage RdC (BARR)

intelligence artificielle

68T05 ; 68T25 ; 68T30

... Lire [+]

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

- 156 p.
ISBN 978-3-540-54919-2

Lecture notes in computer science , 0554

Localisation : Collection 1er étage

algorithmique # base # base de données # base des données relationnelles # complexité # information

68P05 ; 68P15 ; 68Pxx ; 68Q15 ; 68Qxx

... 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.

- 292 p.
ISBN 978-2-225-81273-6

Méthode + programmes

Localisation : Ouvrage RdC (DUBO)

application de la théorie des possibilités # calcul de quantité flane # ensemble flou # environnement imprécis # information incomplète ou incertaine # mesure de possibilité # modèle de raisonnement approché # programmation flane # recherche hermistique # représentation des connaissances en informatique # système expert # traitement de question vague en base de données # évaluation et classement d'objets

68P15 ; 68T30 ; 68T35 ; 68Txx

... Lire [+]

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

- 715 p.
ISBN 978-3-540-56583-3

Monographs in theoretical computer science an EATCS series

Localisation : Ouvrage RdC (NAIT)

dynamique des processus logiques # ion d'information partiel # langage de programmation # logique de proposition partielle # logique et spécification de programme # logique mathématique # méthode # physique théorique # programmation logique # représentation de connaissance # système logique # sémantique # théorème de preuve # vérification de programme

68N15 ; 68Q45 ; 68Q50 ; 68Q55 ; 68Qxx

... Lire [+]

Z