Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 245 p.
Cote : 00013948
algorithme # algorithmique # informatique théorique
68N05 ; 68Nxx ; 68Q20 ; 68Q25 ; 68Qxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 358 p.
Cote : 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
Localisation : Enseignement RdC (Appr)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 435 p.
Cote : 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
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 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
Localisation : Colloque 1er étage (PARI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 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
Localisation : Colloque 1er étage (CHAM)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 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
Localisation : Colloque 1er étage (PARI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 218 p.
Cote : 00009706
68T99
Localisation : Ouvrage RdC (WERT)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 440 p.
Cote : 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
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 238 p.
Cote : 00014529
algorithme # algorithmique # groupe # groupe de permutation # permutation
68Q70
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 427 p.
Cote : 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
Localisation : Ouvrage RdC (Appr)
English