ICCBS Libraries
 WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings / edited by Robert Nieuwenhuis. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2.
Rewriting Techniques and Applications 14th International Conference, RTA 2003 Valencia, Spain, June 9-11, 2003 Proceedings / edited by Robert Nieuwenhuis. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

3.
Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001 Havana, Cuba, December 3-7, 2001 Proceedings / edited by Robert Nieuwenhuis, Andrei Voronkov. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages