Start Over Please hold this item Export MARC Display
 
     
Limit search to available items
Author Ayala-Rincon, Mauricio, author.
Title Applied Logic for Computer Scientists / Computational Deduction and Formal Proofs / Mauricio Ayala-Rincon, Flavio L. C. de Moura.
Publisher Cham : Springer, 2017.
Edition 1st ed. 2017.


Click on the following to:
Connect to https://www.vlebooks.com/vleweb/product/openreader?id=Hull&isbn=9783319516530
Persistent link to this item
Click link and copy URL from browser navigation toolbar

Descript 150 pages : illustrations (black and white)
Content text
Media computer
Carrier online resource
Edition 1st ed. 2017.
ISBN 9783319516530 (e-book)
9783319516516
 Click on the terms below to find similar items in the catalogue
Author Ayala-Rincon, Mauricio, author.
Series Undergraduate Topics in Computer Science
Alt author de Moura, Flavio L. C., author.
Descript 150 pages : illustrations (black and white)
Content text
Media computer
Carrier online resource
Edition 1st ed. 2017.
ISBN 9783319516530 (e-book)
9783319516516
Author Ayala-Rincon, Mauricio, author.
Series Undergraduate Topics in Computer Science
Alt author de Moura, Flavio L. C., author.

Descript 150 pages : illustrations (black and white)
Content text
Media computer
Carrier online resource
Alt author de Moura, Flavio L. C., author.
ISBN 9783319516530 (e-book)
9783319516516
Persistent link to this item
Click link and copy URL from browser navigation toolbar

Links and services for this item:

Persistent link to this item
Click link and copy URL from browser navigation toolbar