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

K. Aspetsberger Coauthor index pubzone.org

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

DBLP keys1986
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, Peter 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
3Electronic Edition 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
1Electronic Edition 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]
3Peter Hintenaus [5]
4Franz J. Kurfess [5]
5Johann Schumann [5]

Last update Sat May 26 04:23:17 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page