Bulletin of the IGPL.
Enregistré dans:
| Nouveau titre: | Journal of the IGPL |
|---|---|
| Collectivité auteur: | Interest group in pure and applied logics (Auteur) |
| Autres auteurs: | Gabbay, Dov M., 1945- (Éditeur intellectuel) |
| Format: | Revue numérique |
| Langue: | Anglais |
| Publié: |
Oxford :
Oxford University Press
1993-1995.
|
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur (OUP) Accès sur la plateforme ISTEX (Corpus OUP) Accès Université d'Orléans Accès INSA CVL |
| Note: |
Titre provenant des métadonnées Editor-in-Chief: Dov Gabbay, Department of Computing, Imperial College OUP (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| État de collection: | Revue électronique, (1993) - (1995) |
| Variante du titre: | Bulletin of the Interest Group in Pure and Applied Logics |
| Edition sous un autre format: | • Bulletin of the Interest Group in Pure and Applied Logics |
Documents similaires
-
Journal of the IGPL.
(Revue numérique)
Oxford University Press, 1995 -
Logic journal of the IGPL.
(Revue numérique)
Oxford University Press, 1997 -
The bulletin of symbolic logic
(Revue numérique)
Published by Cambridge University Press for and on behalf of the Association of Symbolic Logic, 1995 -
Journal of logic and computation.
(Revue numérique)
Oxford University Press, 1990 -
Specifying message passing and time-critical systems with temporal logic
(Livre numérique)
Koymans, Ron, 1959-