skip to main content
Show Results with:

Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps

Bensaid, H.; Caferra, R.; Peltier, N.

Journal on data semantics.; Logic, language, information and computation; Logic, language, information and computation: 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007; proceedings /; Rio de Janeiro, Brazil, 2007; Jul, 2007, 38-52 -- Berlin; Springer; 2007 (pages 38-52) -- 2007

Check library holdings

Searching Remote Databases, Please Wait