|
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 general first-order solution to the ramification problem with cycles |
Strass, Hannes |
2013 |
11 | 3 |
p. 289-308 20 p. |
artikel |
|
| 2 | Editorial Board |
2013 |
11 | 3 |
p. iii-vi nvt p. |
artikel |
||
| 3 | Multiple-Valued Logic mathematical approaches for multi-state system reliability analysis |
Zaitseva, Elena |
2013 |
11 | 3 |
p. 350-362 13 p. |
artikel |
|
| 4 | Ordered domain algebras |
Hirsch, Robin |
2013 |
11 | 3 |
p. 266-271 6 p. |
artikel |
|
| 5 | Preservation of Craig interpolation by the product of matrix logics |
Sernadas, C. |
2013 |
11 | 3 |
p. 328-349 22 p. |
artikel |
|
| 6 | Skew lattices and binary operations on functions |
Cvetko-Vah, Karin |
2013 |
11 | 3 |
p. 253-265 13 p. |
artikel |
|
| 7 | Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty |
Link, Sebastian |
2013 |
11 | 3 |
p. 309-327 19 p. |
artikel |
|
| 8 | The expressibility of fragments of Hybrid Graph Logic on finite digraphs |
Gate, James |
2013 |
11 | 3 |
p. 272-288 17 p. |
artikel |
8 gevonden resultaten