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 68T20 25 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic for problem solving Kowalski, Robert | North-Holland 1979

Ouvrage

- 287 p.
Cote : 00008495
mathématique logique et fondation # logique générale # informatique # mécanisation des preuves et des opérations logiques # intelligence artificielle

03B35 ; 68T20 ; 68Txx

Localisation : Ouvrage RdC (KOWA)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
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


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)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Expert systems and their applications
9th international workshop
May 29 - June 2
Specialized conference artificial intelligence and defense
conférence spécialisée intelligence artificielle et défense | EC2 1989

Congrès


Cote : 00022552
aide au commandement # aide à la navigation # défense # intelligence aritificielle # outil # plan # système de défense # sécurité et protection des systèmes experts # sécurité-défense

68T20 ; 68Txx ; 68U07

Localisation : Colloque 1er étage (AVIG)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Constraint programming and large scale discrete optimization :
DIMACS workshop on ...#held at DIMACS Center at Rutgers University#Sept. 14-17 Freuder, Engene C. ; Wallace, Richard J. | American Mathematical Society 2001

Congrès

- 175 p.
Cote : 00023844
intelligence artificielle # analyse numérique # opitmisation # programmation par contrainte # résolution de problème # recherche opérationnelle # planification # théorie déterministe # théorie stochastique # optimisation combinatoriale

65K10 ; 68T20

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Genetic programming :
on the programming of computers by means of natural selection Koza, John R. | Mit Press 2000

Ouvrage

- 819 p.
Cote : 00025681
informatique # algorithme génétique # programmation génétique # résolution de problème # apprentissage # Lisp

68N99 ; 68U99 ; 68T20

Localisation : Ouvrage RdC (KOZA)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Simulation and the Monte Carlo method Rubinstein, Reuven Y. ; Kroese, Dirk P. | Wiley 2017

Ouvrage

- xvii; 414 p.
Cote : 00039922
méthode de Monte Carlo # simulation par ordinateur # équation linéaire # équation intégrale # équation différentielle # statistique de la simulation # nombre pseudo-aléatoire # variable aléatoire # intégration de Monte Carlo # réduction de la variance # processus régénératif

68U20 ; 68-01 ; 65C05 ; 65C10 ; 65-01 ; 68T20

Localisation : Ouvrage RdC (RUBI)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

The computer modelling of mathematical reasoning Bundy, Alan | Academic Press 1983

Ouvrage

- 322 p.
Cote : 00006866
mathématiques appliquées générales # mécanisation des preuves et des opérations logiques # intelligence artificielle

68T15 ; 00A69 ; 03B35 ; 68T20

Localisation : Ouvrage RdC (BUND)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Artificial intelligence Rich, Elaine | Mcgraw-Hill International Book Co. 1983

Ouvrage

- 436 p.
Cote : 00008484
apprentissage # compréhension du langage naturel # espace de problèmes # implémentation # intelligence artificielle # perception # représentation structurée de la connaissance # système de résolution de problèmes

68T01 ; 68T15 ; 68T20 ; 68T30 ; 68Txx

Localisation : Ouvrage RdC (RICH)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Artificial intelligence
an introductory course Bundy, A. ; Burstall, R. M. ; Weir, S. ; Young, R. M. | University Press 1980

Ouvrage

- 252 p.
Cote : 00008494

68T20 ; 68T25 ; 68Txx

Localisation : Ouvrage RdC (Arti)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Introduction to automata theory languages, and computation Hopcroft, J. E. ; Ullman, J. D. | Addison-Wesley Publishing Company 1979

Ouvrage

- 189 p.
Cote : 00009273
mathématique logique et fondation # automate # théorie générale # forme de language # grammaire # théorie des automates

68T20 ; 68T25 ; 68Txx

Localisation : Ouvrage RdC (HOPC)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue