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

by Walter Carnielli ... [et al.]

(Applied logic series, v. 35)

Springer, c2010

Search this Book/Journal
Note

Includes bibliographical references (p. 559-578) and index

Other authors: Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

Related Books: 1-1 of 1
Details
  • NCID
    BB13287599
  • ISBN
    • 9789048177257
  • Country Code
    ne
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Dordrecht
  • Pages/Volumes
    xvi, 600 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top