dblp.uni-trier.dewww.uni-trier.de

K. Aspetsberger

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Coauthor Index

1Stefan Bayerl [2]
2Wolfgang Bibel [1] [5]
3P. Hintenaus [5]
4Franz J. Kurfess [5]
5Johann Schumann [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)