Analysis and synthesis of logics

No full text

Book published as author, translator, etc. (Books)

Carnielli, Walter; Coniglio, Marcelo; Gabbay, Dov M. et al.

2008 • Springer

Permalink
https://hdl.handle.net/10993/15866

No document available.

Disciplines :

Computer science

Identifiers :

UNILU:UL-BOOK-2009-041

Author, co-author :

Carnielli, Walter

Coniglio, Marcelo

Gouveia, Paula

Sernadas, Cristina

Language :

English

Title :

Analysis and synthesis of logics

Publication date :

2008

Publisher :

Springer

ISBN/EAN :

9781402067815

Collection name :

Applied Logic Series 35

Available on ORBilu :

since 10 March 2014

Number of views

47 (0 by Unilu)

Number of downloads

0 (0 by Unilu)