Artículos relacionados a Applied Logic for Computer Scientists: Computational...
Sinopsis
Foreword. - Preface.- Introduction.- Derivation and Proofs in the Propositional Logic.- Derivations and Proofs in the Predicate Logic.- Deductions in the Style of Gentzen's Sequent Calculus.- Derivations and Formalizations.- Algebraic and Computational Examples.- Suggested Readings.- Index.
"Sinopsis" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2017
- ISBN 10 3319516523
- ISBN 13 9783319516523
- EncuadernaciónPaperback
- IdiomaInglés
- Contacto del fabricanteno disponible
(Ningún ejemplar disponible)
Buscar: Crear una petición¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
Crear una petición
