Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 487p.
ISBN 978-3-540-55179-9
Lecture notes in computer science , 0575
informatique # méthodes de verification assistée par ordinateur # langage logique # langage formel # algorithme de démonstration de théorèmes # controleurs hardwere # protocole de communication # système en temps réel
00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 552p.
ISBN 978-3-540-64608-2
Lecture notes in computer science , 1427
Localisation : Collection 1er étage
informatique # méthode de vérification assistée par ordinateur #logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction
00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 486p.
ISBN 978-3-540-63166-8
Lecture notes in computer science , 1254
Localisation : Collection 1er étage
informatique # méthodes de vérification assistée par ordinateur # logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction
00B25 ; 68-06 ; 68Q60 ; 68T15 ; 68T35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-66047-7
Localisation : Disparu
algèbre commutatif # algèbre de calcul # analyse numérique # calcul symbolique # corps # informatique théorique # intelligence artificielle # méthode de différence finie # polynomes # représentation de groupes # stabilité de Lyaponov # système expert # théorie de stabilité # équations différentielles avancées
12Y05 ; 13P10 ; 20C40 ; 34A25 ; 34D20 ; 65M06 ; 68Q40 ; 68T35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 686 p.
ISBN 978-3-540-55606-0
Lecture notes in computer science , 0608
Localisation : Collection 1er étage
apprendre une stratégie # architecture # enseigner une stratégie # environnement d'apprentiss age # intelligence artificielle # logiciel # modèle cognitif # modèle formel # modélisation d'étudiant # représentation des connaissances # système d'aide # système de renseignement # sytème d'enseignement intelligent # éducation et informatique
68M07 ; 68T30 ; 68T35
... 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.
- 582p.
ISBN 978-3-540-67770-3
Lecture notes in computer science , 1855
Localisation : Collection 1er étage
informatique # méthode de vérification assistée par ordinateur # logique de programmation # softwere pour ingénieurs # circuits integrés # algorithme de démonstration # déduction
00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiv; 602 p.
ISBN 978-1-56072-042-3
Localisation : Colloque 1er étage (VERS)
acquisition des connaissances # système expert # analyse multivariée # intelligence artificielle
62-07 ; 62-06 ; 68Txx ; 68T35 ; 62Hxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 372p.
ISBN 978-3-540-54477-7
Lecture notes in computer science , 0531
Localisation : Collection 1er étage
informatique # méthodes de vérification assistée par ordinateur # langage logique # langage formel # algébres de processus
00B25 ; 68-06 ; 68T35 ; 68Q85
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 628 p.
ISBN 978-3-540-42242-6
Lecture notes in computer science , 0945
Localisation : Collection 1er étage
théorie de l'information # système expert # incertitude # intelligence artificielle
68Txx ; 97R40 ; 68Pxx ; 68P30 ; 68T37 ; 68T35
... 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.
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.
- 449 p.
ISBN 978-0-904933-61-1
Localisation : Colloque 1er étage (AVIG)
application # contrôle # gestion # industrie des systèmes experts # intelligence artificielle # outil et technique de construction des systèmes experts # surveillance # système expert # système informatique # sécurité # télécommunication # économie des systèmes experts # électrotechnique
68T05 ; 68T35 ; 68Txx ; 68U07 ; 68U20 ; 68U30 ; 68Uxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- Pp. 453-909
ISBN 978-0-904933-61-1
Localisation : Colloque 1er étage (AVIG)
application # contrôle # gestion # industrie des systèmes experts # intelligence artificielle # outil et technique de construction des systèmes experts # surveillance # système expert # système informatique # sécurité # télécommunication # économie des systèmes experts # électrotechnique
68T05 ; 68T35 ; 68Txx ; 68U07 ; 68U20 ; 68U30 ; 68Uxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 333 p.
ISBN 978-0-904933-61-1
Localisation : Colloque 1er étage (AVIG)
acquisition de connaissance # intelligence artificielle # raisonnement dans un système expert # raisonnement multi-expert et multi-agent # raisonnement multi-modèle # science cognitive
68T35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-906899-25-4
Localisation : Colloque 1er étage (AVIG)
calculateur # centre informatique # configuration réseau # intelligence artificielle # maintenance des systèmes de télécommunications # science de l
68T35 ; 68Txx ; 68U07
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-906899-26-1
Localisation : Colloque 1er étage (AVIG)
intelligence artificielle # système expert
68T35 ; 68Txx
... 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.
ISBN 978-2-90-3677-1-5
Localisation : Colloque 1er étage (LYON)
acquisition de connaissance # apprentissage # architecture et image # architecture logicielle et intelligence artificielle # infographie # langage # langue # langue naturelle # modélisation # mouvement # raisonnement # reconnaissance des formes # représentation # robotique # stéréovision # système d
68T10 ; 68T25 ; 68T30 ; 68T35 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-90-3677-1-5
Localisation : Colloque 1er étage (LYON)
acquisition de connaissance # apprentissage # architecture et image # architecture logicielle et intelligence artificielle # infographie # intelligence artificielle # langage # langue # langue naturelle # modélisation # mouvement # raisonnement # reconnaissance des formes # représentation # robotique # stéréovision # système d'information # séquence # technique et science informatique # traitement du signal
68T10 ; 68T25 ; 68T30 ; 68T35 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx
... Lire [+]