Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.

By: Contributor(s): Material type: Computer fileComputer fileSeries: Applied Logic Series ; 35Publication details: Dordrecht : Springer Science+Business Media B.V., 2008.Description: v.: digitalISBN:
  • 9781402067822
Subject(s): LOC classification:
  • QA9 C37 2008
Online resources: In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Vol info URL Copy number Status Notes Date due Barcode
Libro Electrónico Libro Electrónico Biblioteca Digital Colección Digital QA9 C37 2008 (Browse shelf(Opens below)) BDIG00004798 Link to resource 1 Available SpringerLink BDIG00004798

There are no comments on this title.

to post a comment.

Powered by Koha