Logic for Computer Science: Foundations of Automatic Theorem Proving,2nd Edition
Dover Inc.; 2nd Revised edition edition (31 Oct. 2014) | English | 9780486780825
Dover Inc.; 2nd Revised edition edition (31 Oct. 2014) | English | 9780486780825
Robinson (9 Jan. 2020) | English | 9781472144836

9781788831000
Mercury Learning & Information (1 July 2016) | English | 9781683922421
9781491944240
9781492049395
9781492047964
Engineering Handbook; 1 edition (16 Jun. 2019) | English
Focal ; 1 edition (April 8,2020) | English | 9780367186654
English | 10 Mb