|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
20 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algebraic properties of program integration |
Reps, Thomas |
1991 |
17 | 1-3 |
p. 139-215 77 p. |
artikel |
|
| 2 | A type system for implicit scaling |
Thatte, Satish |
1991 |
17 | 1-3 |
p. 217-245 29 p. |
artikel |
|
| 3 | Automated deduction in nonclassical logics |
Fischer, Michael |
1991 |
17 | 1-3 |
p. 256-258 3 p. |
artikel |
|
| 4 | Automatic autoprojection of higher order recursive equations |
Bondorf, Anders |
1991 |
17 | 1-3 |
p. 3-34 32 p. |
artikel |
|
| 5 | Case studies in systematic software development |
Hayes, Ian J. |
1991 |
17 | 1-3 |
p. 250-251 2 p. |
artikel |
|
| 6 | Editorial Board |
1991 |
17 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 7 | Essentials of logic programming |
1991 |
17 | 1-3 |
p. 254- 1 p. |
artikel |
||
| 8 | Foreword |
Jones, N.D. |
1991 |
17 | 1-3 |
p. 1-2 2 p. |
artikel |
|
| 9 | Formalism in AI and computer science |
Malcolm, Grant |
1991 |
17 | 1-3 |
p. 267-269 3 p. |
artikel |
|
| 10 | Languages for Parallel Architectures: Designs, semantics, implementation models |
Watson, Paul |
1991 |
17 | 1-3 |
p. 264-266 3 p. |
artikel |
|
| 11 | On the expressive power of programming languages |
Felleisen, Matthias |
1991 |
17 | 1-3 |
p. 35-75 41 p. |
artikel |
|
| 12 | Power domain constructions |
Heckmann, Reinhold |
1991 |
17 | 1-3 |
p. 77-117 41 p. |
artikel |
|
| 13 | Predicate calculus and program semantics |
Monahan, Brian |
1991 |
17 | 1-3 |
p. 259-262 4 p. |
artikel |
|
| 14 | Prolog: A logical approach |
1991 |
17 | 1-3 |
p. 254- 1 p. |
artikel |
||
| 15 | PX: A computational logic |
Constable, R.L. |
1991 |
17 | 1-3 |
p. 252-253 2 p. |
artikel |
|
| 16 | Realistic compiler generation |
Watt, David A. |
1991 |
17 | 1-3 |
p. 262-264 3 p. |
artikel |
|
| 17 | Resolution and type theory |
Helmink, Leen |
1991 |
17 | 1-3 |
p. 119-138 20 p. |
artikel |
|
| 18 | Specification and transformation of programs |
Henglein, Fritz |
1991 |
17 | 1-3 |
p. 247-249 3 p. |
artikel |
|
| 19 | The craft of prolog |
Spivey, Mike |
1991 |
17 | 1-3 |
p. 254-256 3 p. |
artikel |
|
| 20 | Using C with Curses, Lex and YACC |
Hilditch, Steve |
1991 |
17 | 1-3 |
p. 266-267 2 p. |
artikel |
20 gevonden resultaten