Front cover image for Handbook of practical logic and automated reasoning

Handbook of practical logic and automated reasoning

One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied
Print Book, English, 2011
Cambridge University Press, Cambridge, 2011
xix, 681 pages : illustrations ; 26 cm
9780521899574, 0521899575
910405790
Réimpr. de l'éd. publ. originalement en 2009