scientific article; zbMATH DE number 1552517
From MaRDI portal
Publication:4524776
zbMATH Open0970.68155MaRDI QIDQ4524776
Christian Suttner, Andreas Wolf, Johann Schumann
Publication date: 15 January 2001
Title of this publication is not available (Why is that?)
Related Items (4)
Parallel Multivariate Meta-Theorems ⋮ PARTHENON: A parallel theorem prover for non-horn clauses ⋮ Title not available (Why is that?) ⋮ Parallelization of a hyper-linking-based theorem prover
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4524776)
