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 Segerberg, Krister 2 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

Classical propositional operators :
an exercice in the foundations of logic Segerberg, Krister | Clarendon Press 1982

Ouvrage

- 152 p.
Cote : 00006729
langage proportionnel # logique booléenne # logique classique # logique commune # logique modale # logique pré- classique # opérateur proportionnel classique

03-03 ; 03B05 ; 03B45 ; 03Bxx ; 03Cxx

Localisation : Ouvrage RdC (SEGE)

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

Advances in modal logic. Vol. 2 :
a selection of papers presented at the first AiML conference held at the Free University#Oct. Zakharyaschev, Michael ; Segerberg, Krister ; de Rijke, Maarten | Center for the Study of Language and Information 2001

Congrès

- 457 p.
Cote : 00024888
logique modale

03B45 ; 03-06

Localisation : Colloque 1er étage (BERL)

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

Langue