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 03B45 35 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Formal methods in the study of language. Part 2 :
third colloquium on... held at amsterdam#March 25-28 Groenendijk, J. A. G. ; Janssen, T. M. V. ; Stokhof, M. B. J. | Mathematisch Centrum 1985

Congrès

- 599 p.
Call n° : 00010512
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème

03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50

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

Formal methods in the study of language. Part 1 :
third colloquium on... held at amsterdam#March 25-28 Groenendijk, J. A. G. ; Janssen, T. M. V. ; Stokhof, M. B. J. | Mathematisch Centrum 1985

Congrès

- 322 p.
Call n° : 00010511
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème

03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50

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

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.
Call n° : 00010390
analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel

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

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

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

First-order dynamic logic Harel, David | Springer-Verlag 1979

Ouvrage

- 133 p.
Call n° : 00012098
automate # axiomatique # axiomatisabilite # langage de progammation # logique modale # probabilité de l'automatique # progammation # théorie de la programmation # théorie des langages

03B45 ; 03E25 ; 68N15 ; 68Q75

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

Handbook of philosophical logic. Vol. II :
extensions of classical logic Gabbay, D. ; Guenthner, F. | D. Reidel Publisher Co. 1984

Ouvrage

- 776 p.
Call n° : 00012793
épistemologie # logique # logique modale

03A05 ; 03B45 ; 03Bxx

Location : Ouvrage RdC (Hand)

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

Logique temporelle
sémantique et validation de programmes parallèles Audureau, Eric ; Enjalbert, Patrice ; Farinas del Cerro , Luis ; Engeler, Erwin | Masson 1990

Ouvrage

- 232 p.
Call n° : 00016445
algorithme parallèle # logique modale # logique temporelle # parallèle # programme parallèle # programme séquentiel # système distribué # sémantique # validation de programmes # vérification de programme

03B45 ; 03B70 ; 68Q55 ; 68Q60

Location : Ouvrage RdC (AUDU)

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

The mathematics of metamathematics Rasiowa, Helena ; Sikorski, Roman | PWN-Polish Scientific Publishers 1970

Ouvrage

- 519 p.
Call n° : 00003223
algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie # treillis[-]
algèbre # algèbre booléenne topologique # algèbre des langages formalisés # algèbre pseudo-booléenne # calcul propositionnel classique # calcul propositionnel intuitioniste # logique classique # logique modale # logique non classique # logique positive # mathématique des métamathématiques # théorie des treillis # théorie formalisée élémentaire classique # théorie formalisée élémentaire intuitioniste # théorie mathématique formalisée # topologie ...[+]

03-XX ; 03B05 ; 03B45 ; 03F55 ; 06Bxx

Location : Ouvrage RdC (RASI)

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 papers translated from the russian Belonogov, V. A. ; Drakokhrust, Yu. A. ; Faiziev, R. F. | American Mathematical Society 1989

Ouvrage

- 152 p.
Call n° : 00018580
D-bloc de caractère # calcul de résolution # estimation de polynôme orthogonal # estimation en moyenne # groupe fini # géométrie diophantienne # logique modale # modèle de données et langage de description # obstruction complète au principe de Hasse # principe ergodique pour opérateur stochastique quadratique # problème du diviseur additif

03B45 ; 11D41 ; 11G10 ; 11G35 ; 11P99

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

Admissibility of logical inference rules Rybakov, V. V. | Elsevier 1997

Ouvrage

- 617 p.
Call n° : 00021626
logique # logique classique # logique non classique # logique non standard # mathématique # règle d'inférence

03-02 ; 03B45 ; 03B60

Location : Ouvrage RdC (RYBA)

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