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.



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

Links and services for this item: