Automated mathematical induction - Boston: Kluwer Academic, 1996 - 222 p. : ill. ; 25 cm., hbK : alk. paper

792340108


Automatic theorem proving

511.22 ZHA