Automated model building /
Caferra, Ricardo.
Automated model building / by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier - Dordrecht ; London : Kluwer Academic, 2004. - xi, 341 p. : ill. ; 25 cm. - Applied logic series v. 31. .
Includes bibliographical references (p. 327-341).
1402026528
Automatic theorem proving.
Applied logic
Automated model building / by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier - Dordrecht ; London : Kluwer Academic, 2004. - xi, 341 p. : ill. ; 25 cm. - Applied logic series v. 31. .
Includes bibliographical references (p. 327-341).
1402026528
Automatic theorem proving.
Applied logic