|
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
“... by showing both recent achievements and directions of future investigations (in particular, multiple open...”Published 2008
Springer Netherlands