Applied Logic for Computer Scientists

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs is geschreven door Mauricio Ayala-Rincón; Flávio L. C. de Moura en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Applied Logic for Computer Scientists zijn 9783319516530, 3319516531 en de ISBN's voor gedrukt materiaal zijn 9783319516516, 3319516515. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs is geschreven door Mauricio Ayala-Rincón; Flávio L. C. de Moura en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Applied Logic for Computer Scientists zijn 9783319516530, 3319516531 en de ISBN's voor gedrukt materiaal zijn 9783319516516, 3319516515. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.