Analysis and synthesis of logics : how to cut and paste reasoning systems
Author(s)
Bibliographic Information
Analysis and synthesis of logics : how to cut and paste reasoning systems
（Applied logic series, v. 35）
Springer, c2010
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 559-578) and index
Other authors: Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
