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 results

Filter
Select: All / None
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.
Call n° : 00011173
algèbre universelle # langage naturel # linguistique mathématiques # logique # logique mathématiqu es # logique modale # logique symbolique

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

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

Computability, complexity, and languages
fundamentals of theoretical computer science Davis, Martin D. ; Sigal, Ron ; Weyuker, Elaine J. | Academic Press 1994

Ouvrage


Call n° : 00017363
calcul propositionnel # calcul sur chaîne # calculabilité # calculabilité en temps polynômial # complexité abstraite # fonction calculable # fonction récursive primitive # grammaire et automate # informatique théorique # langage libre du contexe # langage régulier # langage sensible au contexte # logique # machine de Turing # problème NP-complet # problème insoluble # processus # programme universel # sémantique dénotationnelle d'équation de récursion # sémantique opérationnelle # théorie de la quantification[-]
calcul propositionnel # calcul sur chaîne # calculabilité # calculabilité en temps polynômial # complexité abstraite # fonction calculable # fonction récursive primitive # grammaire et automate # informatique théorique # langage libre du contexe # langage régulier # langage sensible au contexte # logique # machine de Turing # problème NP-complet # problème insoluble # processus # programme universel # sémantique dénotationnelle d'équation de ...[+]

03Dxx ; 68Qxx

Location : Disparu

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

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

Congrès

- 654 p.
Call n° : 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

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

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

Congrès

- 419 p.
Call n° : 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

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

Combinatorics on traces Diekert, Volker | Springer-Verlag 1990

Ouvrage

- 164 p.
Call n° : 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

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

On the design of aleph Grune, D. | Centre For Mathematics And Computer Science 1986

Ouvrage

- 191 p.
Call n° : 00010070
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

A program generator for recognition,parsing and transduction with syntactic patterns Van Der Steen, G. J. | Centre For Mathematics And Computer Science 1988

Ouvrage

- 284 p.
Call n° : 00013564
algèbre de Boole # analyse des programmes # arbre # compilation # compileur # complexité # construction # formalisme # générateur de programme # grammaire # reconnaissance machine # symbole # transport connection # unification

68N20 ; 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

Alternating sequential/parallel processing Wallach, Y. | Springer-Verlag 1982

Ouvrage

- 329 p.
Call n° : 00013867
complexité # informatique théorique # parallèle

68Q10 ; 68Q15 ; 68Q25

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

Verifying concurrent processes using temporal logic Hailpern, Brent T. | Springer-Verlag 1982

Ouvrage

- 208 p.
Call n° : 00013869
logique # logique temporelle # parallèle # preuve # programmation parallèle # preuve de programme # valet # vérification de programme

03B45 ; 03B70 ; 03Cxx ; 68Q10 ; 68Q60

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

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language