Harrison, J.
Handbook of Practical Logic and Automated Reasoning - Cambridge Cambridge University Press 2009 - xix, 681p.
978-0-521-89957-4
Handbook of Practical Logic and Automated Reasoning - Cambridge Cambridge University Press 2009 - xix, 681p.
978-0-521-89957-4