Applied Logic for Computer Scientists

Ayala-Rincón, Mauricio and de Moura, Flávio L.C. (2017) Applied Logic for Computer Scientists. UNSPECIFIED. ISBN 978-3-319-51653-0

[img] Text
Applied logic for computer scientists _ computational deduction and formal proofs ( PDFDrive ).pdf

Download (1MB)
Item Type: Book
Subjects: Ilmu Komputer
Divisions: E-Book > Ilmu_Komputer > Software_Enginering
Depositing User: editor 1
Date Deposited: 28 Sep 2021 00:57
Last Modified: 28 Sep 2021 00:57

Actions (login required)

View Item View Item