(1 - 6 from 7
)
Call for Papers - The E Theorem Prover
www.eprover.org
... London Boris Konev University of Liverpool Fausto Spoto Università di Verona Jiri Vyskocil Charles University, Prague <futher members to be confirmed>
sorted by relevance / date