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]](http://repo.darmajaya.ac.id/style/images/fileicons/text.png) |
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 |
| URI: | http://repo.darmajaya.ac.id/id/eprint/3860 |
Actions (login required)
 |
View Item |