Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Call n° : 00022533
algorithme # application biomédicale # architecture # automate # bord # classification des données # connaissance de base de reconnaissance de forme # inférence et apprentissage # limite # tomagraphie # traitement des images # traitement du signal # vision
68Q20 ; 68Q25 ; 68T05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68U30 ; 68UXX
Location : Colloque 1er étage (PARI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 358 p.
Call n° : 00016437
adaptation # apprentissage # biblog # conception conceptuelle des systèmes informatiques # conception des systèmes informatiques # intelligence artificielle # langage formel # méta-programmation # prolog # système automath # sémantique booléenne # sémantique des situations # sémantique formelle # transformation de programme # vérification de preuve
68Q45 ; 68Q55 ; 68Q60 ; 68T05 ; 68U07
Location : Enseignement RdC (Appr)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 218 p.
Call n° : 00009706
68T99
Location : Ouvrage RdC (WERT)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 245 p.
Call n° : 00013948
algorithme # algorithmique # informatique théorique
68N05 ; 68Nxx ; 68Q20 ; 68Q25 ; 68Qxx
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 440 p.
Call n° : 00013420
algèbre de l'informatique # intelligence artificielle # programmation automatique # réecriture de système # système de réecriture # théorie de l'informatique
68Q42
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 238 p.
Call n° : 00014529
algorithme # algorithmique # groupe # groupe de permutation # permutation
68Q70
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 427 p.
Call n° : 00016438
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
Location : Ouvrage RdC (Appr)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 435 p.
Call n° : 00020980
algèbre de l'informatique # déduction # langage de programmation # langage formel # logique et signification de programme # logique mathématique # preuve du théorème # sémantique et langage de programmation # technique de réécriture des systèmes
68Q42 ; 68Q45 ; 68Q55 ; 68Q60 ; 68Q70
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Call n° : 00022534
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
Location : Colloque 1er étage (CHAM)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Call n° : 00023442
algorithme # application biomédicale # architecture # automate # bord # classification des données # connaissance de base de reconnaissance de forme # inférence et apprentissage # limite # tomographie # traitement des images # traitement du signal # vision
68Q20 ; 68Q25 ; 68T05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68U30 ; 68UXX
Location : Colloque 1er étage (PARI)