K. Aspetsberger

Publication Activity (10 Years)

Years Active: 1985-1986
Publications (10 Years): 0

Publications

Wolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, Peter Hintenaus, Johann Schumann
Parallel Inference Machines. Future Parallel Computers (1986)
K. Aspetsberger
Towards Parallel Machines for Artificial Intelligence: Realization of the ALICE Architecture by the L-Components. ÖGAI (1985)
K. Aspetsberger, G. Funk
Experiments with muMATH in Austrian high schools. ACM Commun. Comput. Algebra (4-1) (1985)
Wolfgang Bibel, K. Aspetsberger
A Bibliography on Parallel Inference Machines. J. Symb. Comput. 1 (1) (1985)
K. Aspetsberger, Stefan Bayerl
Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. GWAI (1985)
K. Aspetsberger
Substitution Expressions: Extracting Solutions of Non-Horn Clause Proofs. European Conference on Computer Algebra (2) (1985)