|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A context for belief revision: forward chaining-normal nonmonotomic rule systems |
Marek, V.W. |
1994 |
67 | 1-3 |
p. 269-323 55 p. |
artikel |
|
| 2 | A direct method for simulating partial recursive functions by Diophantine equations |
Matiyasevich, Yuri |
1994 |
67 | 1-3 |
p. 325-348 24 p. |
artikel |
|
| 3 | Author index volume 67 (1994) |
1994 |
67 | 1-3 |
p. 349- 1 p. |
artikel |
||
| 4 | Computing definite logic programs by partial instantiation |
Kagan, Vadim |
1994 |
67 | 1-3 |
p. 161-182 22 p. |
artikel |
|
| 5 | Editorial board |
1994 |
67 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 6 | Linear logic as a logic of computations |
Kanovich, Max I. |
1994 |
67 | 1-3 |
p. 183-212 30 p. |
artikel |
|
| 7 | Linear logic with fixed resources |
Archangelsky, Dmitry A. |
1994 |
67 | 1-3 |
p. 3-28 26 p. |
artikel |
|
| 8 | Logic of proofs |
Artëmov, Sergei |
1994 |
67 | 1-3 |
p. 29-59 31 p. |
artikel |
|
| 9 | On speedable and levelable vector spaces |
Bäuerle, Frank A. |
1994 |
67 | 1-3 |
p. 61-112 52 p. |
artikel |
|
| 10 | Preface |
Nerode, A. |
1994 |
67 | 1-3 |
p. 1- 1 p. |
artikel |
|
| 11 | Recursive unary algebras and trees |
Khoussainov, Bakhadyr |
1994 |
67 | 1-3 |
p. 213-268 56 p. |
artikel |
|
| 12 | Structured theory presentations and logic representations |
Harper, Robert |
1994 |
67 | 1-3 |
p. 113-160 48 p. |
artikel |
12 gevonden resultaten