Welcome to Central Library, SUST

Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Logic, language, information, and computation : 18th International Workshop,WoLLIC2011 Philadephia, PA, USA, May 18-20, 2011 Proceedings / Lev D. Beklemishev, Ruy de queiroz(eds.). by
  • Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Germany)
  • Beklemishev, Lev D
  • [Queiroz, Ruy de queiroz]
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin. : Springer. 2011
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1015113 LOG, ...

2.
Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / Bernhard Gramlich, Dale Miller, Uli Sattler (eds.). by
  • Gramlich, Bernhard, Dr.rer.nat
  • Miller, Dale (Dale A.)
  • Sattler, Uli
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york : Springer, c2012
Availability: Items available for loan: Central Library, SUST (3)Call number: 511.36028563 AUT, ...

Pages