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
xix, 681 pages : illustrations ; 26 cm
9780521899574, 0521899575
910405790
Réimpr. de l'éd. publ. originalement en 2009