|
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 | An automatic proof of Gödel's incompleteness theorem |
Ammon, Kurt |
1993 |
61 | 2 |
p. 291-306 16 p. |
artikel |
|
| 2 | Announcement |
1993 |
61 | 2 |
p. 359-361 3 p. |
artikel |
||
| 3 | Approximations for efficient computation in the theory of evidence |
Tessem, Bj∅rnar |
1993 |
61 | 2 |
p. 315-329 15 p. |
artikel |
|
| 4 | Author index—Volume 61 (1993) |
1993 |
61 | 2 |
p. 367-368 2 p. |
artikel |
||
| 5 | DENDRAL: A case study of the first expert system for scientific hypothesis formation |
Lindsay, Robert K. |
1993 |
61 | 2 |
p. 209-261 53 p. |
artikel |
|
| 6 | Forthcoming papers |
1993 |
61 | 2 |
p. 363-365 3 p. |
artikel |
||
| 7 | Fuzzy sets and applications: Selected papers by L.A. Zadeh |
Shen, Zuliang |
1993 |
61 | 2 |
p. 351-358 8 p. |
artikel |
|
| 8 | Implicit parallelism in genetic algorithms |
Bertoni, Alberto |
1993 |
61 | 2 |
p. 307-314 8 p. |
artikel |
|
| 9 | Objective probabilities in expert systems |
Sucar, L.E. |
1993 |
61 | 2 |
p. 187-208 22 p. |
artikel |
|
| 10 | Removing redundancy from a clause |
Gottlob, Georg |
1993 |
61 | 2 |
p. 263-289 27 p. |
artikel |
|
| 11 | The art of the metaobject protocol |
Gabriel, Richard P. |
1993 |
61 | 2 |
p. 331-342 12 p. |
artikel |
|
| 12 | What's in a linkage? Review of: Glenn Kramer, solving geometric constraint systems |
Sacks, Elisha P. |
1993 |
61 | 2 |
p. 343-349 7 p. |
artikel |
12 gevonden resultaten