| |
| 1986 | ||
|---|---|---|
| 5 | Wolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, P. Hintenaus, Johann Schumann: Parallel Inference Machines. Future Parallel Computers 1986: 185-226 | |
| 1985 | ||
| 4 | K. Aspetsberger: Towards Parallel Machines for Artificial Intelligence: Realization of the ALICE Architecture by the L-Components. ÖGAI 1985: 108-119 | |
| 3 | K. Aspetsberger: Substitution Expressions: Extracting Solutions of Non-Horn Clause Proofs. European Conference on Computer Algebra (2) 1985: 78-86 | |
| 2 | K. Aspetsberger, Stefan Bayerl: Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. GWAI 1985: 46-55 | |
| 1 | Wolfgang Bibel, K. Aspetsberger: A Bibliography on Parallel Inference Machines. J. Symb. Comput. 1(1): 115-118 (1985) | |
| 1 | Stefan Bayerl | [2] |
| 2 | Wolfgang Bibel | [1] [5] |
| 3 | P. Hintenaus | [5] |
| 4 | Franz J. Kurfess | [5] |
| 5 | Johann Schumann | [5] |