|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A control mechanism of a lisp-based data-driven machine |
Yuba, Toshitsugu |
1983 |
16 | 3 |
p. 139-143 5 p. |
artikel |
|
| 2 | Analysis of n-trees |
Tamminen, Markku |
1983 |
16 | 3 |
p. 131-137 7 p. |
artikel |
|
| 3 | Is SSS* better than alpha-beta? |
McGlinn, Robert J. |
1983 |
16 | 3 |
p. 113-120 8 p. |
artikel |
|
| 4 | On computing approximate convex hulls |
Soisalon-Soininen, Eljas |
1983 |
16 | 3 |
p. 121-126 6 p. |
artikel |
|
| 5 | Polynomial complete problems in automata theory |
Rystsov, I.K. |
1983 |
16 | 3 |
p. 147-151 5 p. |
artikel |
|
| 6 | Programs as proofs: a synopsis |
Constable, Robert L. |
1983 |
16 | 3 |
p. 105-112 8 p. |
artikel |
|
| 7 | The theory of functional and subset dependencies over relational expressions |
Casanova, Marco A. |
1983 |
16 | 3 |
p. 153-160 8 p. |
artikel |
|
| 8 | Time complexity of loop-free two-way pushdown automata |
Rytter, Wojciech |
1983 |
16 | 3 |
p. 127-129 3 p. |
artikel |
|
| 9 | Updating hypothetical data bases |
Agrawal, Rakesh |
1983 |
16 | 3 |
p. 145-146 2 p. |
artikel |
9 gevonden resultaten