skip to main content
Show Results with:

1 results  for Everything in this catalogue

Refined by: subject: WoLLIC remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

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

1 results  for Everything in this catalogue

Refine Search Results

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Bensaid, H.
  2. Peltier, N.
  3. Caferra, R.

Searching Remote Databases, Please Wait