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 F.4.3 23 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

Mathematical foundations of computer science 1977 :
proceedings,6th symposium#Sept. 5-9 Gruska, J. | Springer-Verlag 1977

Congrès

- 595 p.
Cote : 00012107
automate # intelligence artificielle # langage formel # logique # logique mathématique # machine de turing # programmation # programme # théorie des langages # théorie des machines

03F99 ; 03Fxx ; 03Dxx ; 18B20

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

Formal techniques in real-time and fault-tolerant systems :
second international symposium#Jan. 8-10 Vytopil, J. | Springer-Verlag 1991

Congrès

- 620 p.
Cote : 00014319
calcul en temps réel # calcul formel # langage formel # logique mathématique # mathématique discrète # processus à synchrones # programmation logique # spécification des requètes # système distribué en temps réel

68M20 ; 68Q05 ; 68Q10

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

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.
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)

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

Combinatorics on traces Diekert, Volker | Springer-Verlag 1990

Ouvrage

- 164 p.
Cote : 00022074
algorithmique de graphe # combinatoire # générateur # informatique théorique # mode de calcul # problème de mots # relation # réécriture des systèmes # semi-groupe libre # théorie des graphes

05C85 ; 20M05 ; 68Q10 ; 68Q42 ; 68R15

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

Foundations and applications of montague grammar. Part 1 :
philosophy, framework, computer science Janssen, T. M. V. | Centre For Mathematics And Computer Science 1986

Ouvrage

- 205 p.
Cote : 00010074

03B15 ; 03G15 ; 08A99 ; 68F05 ; 68F20

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

Lindenmayer systems :
structure, languages, and growth functions Vitanyi, P. M. B. | Mathematisch Centrum 1985

Ouvrage

- 209 p.
Cote : 00010383
automate cellulaire # biologie génétique # fonction de calcul # fonction de traitement # informatique # langage formel # langage pour automate # simulation

68C30 ; 68D20 ; 68F05 ; 68G40 ; 68J10

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

Foundations of computer science III. Part 1 :
automata, data structures, complexity
3rd advanced course on the foundation of computer science held at amsterdam#Aug. 21 - Sept. 1 De Bakker, J. W. ; Van Leeuwen, J. | Mathematisch Centrum 1981

Congrès

- 112 p.
Cote : 00010389
automatique # complexité # informatique théorique # langage formel # langage naturel # processus

68B15 ; 68C25 ; 68C40 ; 68D05 ; 68DXX

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

Foundations of computer science III. Part 2 :
languages, logic, semantics
3rd advanced course on the foundation of computer science held at amsterdam#Aug. 21 -Sept. 1 De Bakker, J. W. ; Van Leeuwen, J. | Mathematisch Centrum 1981

Congrès

- 164 p.
Cote : 00010390
analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel

03B45 ; 68B10 ; 68C01 ; 68F05 ; 68F20

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

Proceedings international conference on algol 68 :
rechenzentrum der ruhr-universitat bochum#March 30-31 Van Vliet, J. C. ; Wupper, H. | Mathematisch Centrum 1981

Congrès

- 232 p.
Cote : 00010510

68-06 ; 68B10 ; 68B20

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

Transductions rationnelles
application aux langages algébriques Autebert, Jean-Michel ; Boasson, Luc | Masson 1988

Ouvrage

- 133 p.
Cote : 00012125
langage algébrique # théorie des langages # transduction rationnelles

68Q45 ; 68Qxx ; 68SXX

Localisation : Ouvrage RdC (AUTE)

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