Show Advanced FiltersHide Advanced Filters
Use the filters to refine the search results
ResetAdd New FilterApply
Now showing items 1-1 of 1
Béjar Torres, Ramón (Date of defense: 2000-12-21)
Binefa Valls, Xavier (1)
English (1)
... Show more
Automated deduction (1)
Ciències Experimentals (1)
Many-valued logics (1)
Satisfiabiliy (1)
510 - Fundamental and general considerations of mathematics (1)
Open access (1)