|
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 history based approximate epistemic action theory for efficient postdictive reasoning |
Eppe, Manfred |
2015 |
13 | 4P3 |
p. 720-769 50 p. |
artikel |
|
| 2 | Approximate postdictive reasoning with answer set programming |
Eppe, Manfred |
2015 |
13 | 4P3 |
p. 676-719 44 p. |
artikel |
|
| 3 | A proof-theoretic universal property of determiners |
Francez, Nissim |
2015 |
13 | 4P3 |
p. 799-808 10 p. |
artikel |
|
| 4 | Automatic grape bunch detection in vineyards with an SVM classifier |
Liu, Scarlett |
2015 |
13 | 4P3 |
p. 643-653 11 p. |
artikel |
|
| 5 | Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL R |
Zhang, Yan |
2015 |
13 | 4P3 |
p. 654-675 22 p. |
artikel |
|
| 6 | Computing the Lagrangians of the standard model |
Selesnick, S.A. |
2015 |
13 | 4P3 |
p. 809-824 16 p. |
artikel |
|
| 7 | Lexicographic pseudo MV-algebras |
Dvurečenskij, Anatolij |
2015 |
13 | 4P3 |
p. 825-841 17 p. |
artikel |
|
| 8 | Possibilistic reasoning with partially ordered beliefs |
Touazi, Fayçal |
2015 |
13 | 4P3 |
p. 770-798 29 p. |
artikel |
8 gevonden resultaten