En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents I.2.2 10 results

Filter
Select: All / None
Q
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)

Bookmarks Report an error
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)

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 218 p.
Call n° : 00009706

68T99

Location : Ouvrage RdC (WERT)

Bookmarks Report an error
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

Bookmarks Report an error
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

Bookmarks Report an error
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

Bookmarks Report an error
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)

Bookmarks Report an error
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

Bookmarks Report an error
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)

Bookmarks Report an error
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)

Bookmarks Report an error

Filter

Type
Authors
Language