|
|
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; 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; 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, ...
|
