ICCBS Libraries
WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings / edited by Luke Ong. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2.
3.
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / edited by Luke Ong. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

4.
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / edited by Luke Ong, Ruy Queiroz. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages