K. Aspetsberger Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1986
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, P. Hintenaus, Johann Schumann: Parallel Inference Machines. Future Parallel Computers 1986: 185-226
1985
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Aspetsberger: Towards Parallel Machines for Artificial Intelligence: Realization of the ALICE Architecture by the L-Components. ÖGAI 1985: 108-119
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Aspetsberger: Substitution Expressions: Extracting Solutions of Non-Horn Clause Proofs. European Conference on Computer Algebra (2) 1985: 78-86
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Aspetsberger, Stefan Bayerl: Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. GWAI 1985: 46-55
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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 © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)