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
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Eighth international conference on pattern recognition. Vol. 1
proceedings of ...
oct. 27-31 | IEEE Computer Society ; IEEE Service Center 1986

Congrès


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

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Approche logique de l'intelligence artificielle. Tome 4 :
de l'apprentissage artificiel aux frontières de l'IA Delsarte, Philippe ; Hagelstein, Jacques ; Thayse, Andre | Dunod 1991

Ouvrage

- 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

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Intelligence artificielle :
application a l'analyse de programmes Wertz, Harald | Masson 1985

Ouvrage

- 218 p.
Call n° : 00009706

68T99

Location : Ouvrage RdC (WERT)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Mathematical methods of specification and synthesis of software systems '85 :
proceedings of the international spring school#Apri l 22-26 Bibel, W. ; Jentke, K. P. | Springer-Verlag 1986

Congrès

- 245 p.
Call n° : 00013948
algorithme # algorithmique # informatique théorique

68N05 ; 68Nxx ; 68Q20 ; 68Q25 ; 68Qxx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Rewriting techniques and applications#May 20-22 Jouannaud, Jean-Pierre | Springer-Verlag 1985

Congrès

- 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

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Fundamental algorithms for permutation groups Butler, G. | Springer-Verlag 1991

Ouvrage

- 238 p.
Call n° : 00014529
algorithme # algorithmique # groupe # groupe de permutation # permutation

68Q70

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Approche logique de l'intelligence artificielle. Tome 2 :
de le logique modale à la logique des bases de données Gribomont, Pascal ; Hulin, Guy ; Thayse, Andre | Bordas ; Dunod 1989

Ouvrage

- 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

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Rewriting techniques and applications :
7th international conference RTA-96#July 27-30 Ganzinger, Harald | Springer 1996

Congrès

- 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

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

IJCAI-93. Vol. 1
Proceedings of the 13th international joint conference on artificial intelligence
aug. 28 - sept. 3 | IJCAI 1993

Congrès


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

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Eight international conference on pattern recognition. Vol. 2
proceedings on ...
Oct. 27-37 AFCET | IEEE Computer Society 1986

Congrès


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

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language