Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Handbook of automated reasoning Robinson Alan Ed.; Voronkov Andrei Ed. by Series: Handbook of automated reasoning
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Netherlands Elsevier Science 2001
Availability: Items available for reference: Central Science Library: Not for loan (1)Collection, call number: D65,8(B):(R1)g P1.2 RR.

Save to lists Add to cart
2.
Handbook of automated reasoning Robinson Alan Ed.; Voronkov Andrei Ed. by
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam Elsevier Science 2001
Availability: Items available for reference: Central Science Library: Not for loan (1)Collection, call number: D65,8(B):(R1)g P1.1-.2 RR.

Save to lists Add to cart