K. Aspetsberger

According to our database, K. Aspetsberger authored at least 6 papers between 1985 and 1986.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1986

Parallel Inference Machines.

Wolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, Peter Hintenaus, Johann Schumann

Proceedings of the Future Parallel Computers, 1986

1985

A Bibliography on Parallel Inference Machines.

Wolfgang Bibel, K. Aspetsberger

J. Symb. Comput., 1985

Experiments with muMATH in Austrian high schools.

K. Aspetsberger, G. Funk

ACM Commun. Comput. Algebra, 1985

Towards Parallel Machines for Artificial Intelligence: Realization of the ALICE Architecture by the L-Components.

K. Aspetsberger

Proceedings of the Österreichische Artificial Intelligence-Tagung, 1985

Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine.

K. Aspetsberger, Stefan Bayerl

Proceedings of the GWAI-85, 1985

Substitution Expressions: Extracting Solutions of Non-Horn Clause Proofs.

K. Aspetsberger

Proceedings of the EUROCAL '85, 1985