-
1. Automatic Parallelization for a Class of
by Megson G M; Chen Xian
eBook See More Details
1997, World Scientific Publishing
eBook ISBN: 9789810228064
Format: PDF eBook
Digital download
$33.00
-
2. Methods of Cut-Elimination
by Matthias Baaz; Alexander Leitsch
eBook See More Details
2011, Springer Nature
eBook ISBN: 9789400703193
Edition: 2011 edition
Format: EPUB eBook
Digital download
$29.70
-
3. Automated Technology for Verification and Analysis
by Madhavan Mukund; Âsupratik Chakraborty
eBook See More Details
2012, Springer Nature
eBook ISBN: 9783642333859
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
-
4. Automated Reasoning
by Bernhard Gramlich; Âdale Miller; Âulrike Sattler
eBook See More Details
2012, Springer Nature
eBook ISBN: 9783642313646
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
-
5. Logic for Programming, Artificial Intelligence, and Reasoning
by Edmund M. Clarke; Âandrei Voronkov
eBook See More Details
2011, Springer Nature
eBook ISBN: 9783642175107
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
|
