|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Discrete Representation for Dicomplemented Lattices |
Düntsch, Ivo |
2017 |
156 | 3-4 |
p. 281-295 |
artikel |
|
| 2 | AUTHOR INDEX VOLUME 156 |
Niwiński, Damian |
2017 |
156 | 3-4 |
p. 433-434 |
artikel |
|
| 3 | Duality for Quasilattices and Galois Connections |
Romanowska, Anna B. |
2017 |
156 | 3-4 |
p. 331-359 |
artikel |
|
| 4 | Forcing for First-Order Languages from the Perspective of Rasiowa–Sikorski Lemma |
Czelakowski, Janusz |
2017 |
156 | 3-4 |
p. 255-280 |
artikel |
|
| 5 | Mereotopologies with Predicates of Actual Existence and Actual Contact |
Vakarelov, Dimiter |
2017 |
156 | 3-4 |
p. 413-432 |
artikel |
|
| 6 | On Modalities and Quantifiers |
Fitting, Melvin |
2017 |
156 | 3-4 |
p. 297-330 |
artikel |
|
| 7 | Preface |
Niwiński, Damian |
2017 |
156 | 3-4 |
p. i-ii |
artikel |
|
| 8 | Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains |
Sofronie-Stokkermans, Viorica |
2017 |
156 | 3-4 |
p. 361-411 |
artikel |
8 gevonden resultaten