Automated Reasoning and Its Applicationsde Robert VeroffEdiciones (1)Automated Reasoning and Its Applications (1997)The MIT Press · inglés · ISBN 9780262220552Más obras de Robert VeroffAutomated reasoning and its applicationsData structures and problem solving with Turbo Pascal1993Data abstraction and problem solving with C++1995