Home > Search Results: Béjar Torres, Ramón
  Search Tips
Advanced Search
Search collections:
Sort by: Display results: Output format:
Results overview: Found 1 records in 0.01 seconds.
Research literature, 1 records found
Research literature 1 records found  
1.
59 p, 619.0 KB Systematic and local search algorithms for regular-SAT / Béjar Torres, Ramón ; Manyà Serres, Felip, dir. (Universitat de Lleida)
Bellaterra : Universitat Autònoma de Barcelona, 2001
2 documents
Detailed record -

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.
UAB Digital Repository of Documents :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.6
Maintained by ddd.bib@uab.cat  :: Metadata license:
Working with