|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formal account of Socratic-style argumentation |
Caminada, Martin W.A. |
2008 |
6 | 1 |
p. 109-132 24 p. |
artikel |
|
| 2 | Axiomatizing geometric constructions |
Pambuccian, Victor |
2008 |
6 | 1 |
p. 24-46 23 p. |
artikel |
|
| 3 | Editorial Board |
2008 |
6 | 1 |
p. iii-vi nvt p. |
artikel |
||
| 4 | Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions |
de Moura, Flávio L.C. |
2008 |
6 | 1 |
p. 72-108 37 p. |
artikel |
|
| 5 | Similarity based approximate reasoning: fuzzy control |
Raha, Swapan |
2008 |
6 | 1 |
p. 47-71 25 p. |
artikel |
|
| 6 | Simulating Turing machines on Maurer machines |
Bergstra, J.A. |
2008 |
6 | 1 |
p. 1-23 23 p. |
artikel |
6 gevonden resultaten