MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "PARTHEO A High-Performance Parallel Theorem Prover." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

PARTHEO: A High Performance Parallel Theorem Prover
by J. Schumann, R. Letz — 1990 — In Proceedings of the Tenth International Conference on Automated Deduction
…P A R T H E O : A High Performance Parallel Theorem Prover J. Schumann and R. Letz…
Cited by 21 (2 self) – Add To MetaCart

PFSLib - A File System for Parallel Programming Environments
by Stefan Lamberts, Reihe B, Christian Röder, B Franz Abstreiter Michael Friedrich, B Erwin Loibl, Hans Obermaier, B Malte Grosse, Christian B. Suttner, A Parallel, Arndt Bode, Thomas Ludwig, Vaidy Sunderam, Wism Uller — 1996
… Schumann, Reinhold Letz: PARTHEO: A High Performance Parallel Theorem Prover 342/7/90 A Johann Schumann…
Cited by 4 (4 self) – Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB