Antonis Bikakis, editor
Rules on the web : research and applications : 6th international symposium, RuleML 2012, Montpellier, France, August 27-29, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Michael Fisher, editor
Computational logic in multi-agent systems : 13th international workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Dimitra Giannakopoulou, editor
FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Branislav Rovan, editor
Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Antoine Mine, editor
Static analysis : 19th international symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
<<   1 2 3   >>