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

Fondation and application of montague grammar. Part 2 :
applications to natural language Janssen, T. M. V. | Centre For Mathematics And Computer Science 1986

Ouvrage

- 237 p.
Cote : 00011173
algèbre universelle # langage naturel # linguistique mathématiques # logique # logique mathématiqu es # logique modale # logique symbolique

03B45 ; 03B65 ; 08A40 ; 08A55 ; 68S10

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

8th international conference on automated deduction :
proceedings held at st. catherine college#July 27 - Aug. 1 Siekmann, Jorg H. | Springer-Verlag 1986

Congrès

- 708 p.
Cote : 00013955
déduction et preuve de théorème # grammaire et autres systèmes de reécriture # logique mathématique # specification # vérification et raisonnement sur les programmes

68Q60 ; 68T15

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

Outils logiques pour le traitement du temps
de la linguistique a l'intelligence artificielle Bestougeff, Helene ; Ligozat, Gerard | Masson 1989

Ouvrage

- 272 p.
Cote : 00013400
intelligence artificielle # langage # linguistique # logique temporelle # traitement du temps

58TXX ; 68Q45 ; 68Q50 ; 68Q55 ; 68S05

Localisation : Ouvrage RdC (BEST)

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

Formal models and semantics. Vol. B Van Leeuwen, Jan | Elsevier ; The Mit Press 1990

Ouvrage

- 1273 p.
Cote : 00016626
automate fini # base de données relationnelle # calcul distribué # lambda calcul # langage formel # langage libre de contexte # logique des programmes # logique temporelle et modale # modèle formel # processus concurrents # programmation fonctionnelle # programmation logique # programmation temporelle et modale # réécriture de graphe # système à réécrire # sémantique # série de puissance

03D05 ; 68N17 ; 68Q42 ; 68Q45 ; 68Q68

Localisation : Ouvrage RdC (Hand)

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

Berechenbarkeit komplexität logik
algorithmen, sprachen und kalküle unter besonderer berücksichtigung ihrer komplexität Börger, Egon | Vieweg 1992

Ouvrage

- 499 p.
Cote : 00017022
algorithme de Markov # algorithme mathématique # analyse logique du concept de preuve # analyse logique du concept de vérité # calcul de Post # calculabilité # complexité # complexité d'insolvabilité algorithmique # complexité des problèmes de partage logique # fonction récursive primitive # logique # machine de Turing # machine à registres # point fixe # programme universel # récursivité et complexité # système de Thue # sémantique des programmes # sémantique dénotationnelle # sémantique opérationnelle # thèse de Church # théorème de récursion[-]
algorithme de Markov # algorithme mathématique # analyse logique du concept de preuve # analyse logique du concept de vérité # calcul de Post # calculabilité # complexité # complexité d'insolvabilité algorithmique # complexité des problèmes de partage logique # fonction récursive primitive # logique # machine de Turing # machine à registres # point fixe # programme universel # récursivité et complexité # système de Thue # sémantique des ...[+]

03Dxx ; 03Fxx ; 68Q55 ; 68Qxx

Localisation : Ouvrage RdC (BORG)

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

Computing and combinatorics :
first annual international conference, COCOON'95#Aug. 24-26 Du, Ding-Zhu ; Li, Ming | Springer 1995

Congrès

- 654 p.
Cote : 00018632
algorithme de graphe # algorithme parallèle # apprentissage # base de données # calcul distribué # combinatoire # conception combinatoire # géométrie informatique # logique distribuée # modèle de machine # planification # théorie de la complexité # tracé de graphe

05Cxx ; 68Q20 ; 68Q25 ; 68Q30 ; 68R05

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

Categorical combinators, sequential algorithms, and functional programming Curien, Pierre-Louis | Birkhäuser 1993

Ouvrage

- 403 p.
Cote : 00019554
algorithme # algorithme de séquence # combinatoire catégorique # environnement machine # informatique théorique # langage fonctionnel # logique combinatoire catégorique # logique linéaire # logique mathématique # programmation combinatoire pleine PCF # programmation fonctionnelle # sémantique

18B20 ; 68Q20 ; 68Q55 ; 68Qxx ; 68R15

Localisation : Ouvrage RdC (CURI)

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

Computing and combinatorics :
second annual international conference COCOON '96#June 17-19 Cai, Jin-Yi ; Wong, Chak Kuen | Springer 1996

Congrès

- 419 p.
Cote : 00019677
algorithme non numérique # analyse des algorithmes # calcul # combinatoire # complexité des problèmes # grammaire # informatique de la géométrie # informatique théorique # modélisation d'objet # opération et gestion # réseau # réécriture des systèmes # système distribué # système informatique # théorie de l'information algorithmique # théorie des graphes

05Cxx ; 68Q20 ; 68Q25 ; 68Q30 ; 68R05

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

Parsing schemata :
a framework for specification and analysis of parsing algorithms Sikkel, Klaas | Springer 1997

Ouvrage

- 365 p.
Cote : 00021516
algorithme # analyse syntaxique du programme # analyseur # calculateur # grammaire # linguistique # source

68Q50 ; 68Qxx ; 68S05

Localisation : Ouvrage RdC (SIKK)

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