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

Anita Jindal Vis

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

*1992
2 Anita Jindal, Ross A. Overbeek, Waldo C. Kabat: Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems. J. Autom. Reasoning 8(1): 23-38 (1992)
1990
1EERalph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek: A High-Performance Parallel Theorem Prover. CADE 1990: 649-650

Coauthor Index

1Ralph M. Butler (Ralph Butler) [1]
2Ian T. Foster [1]
3Waldo C. Kabat [2]
4Ross A. Overbeek [1] [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)