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.
- 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.
- 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.
- 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.
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.
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.
- 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.
- 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 [+]
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.
- 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.
- 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.