Eléments de l'association
| ![]() |
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
000342 | U. Hustadt [Royaume-Uni] ; C. Dixon [Royaume-Uni] ; R. A. Schmidt [Royaume-Uni] ; M. Fisher [Royaume-Uni] | Normal Forms and Proofs in Combined Modal and Temporal Logics |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |