Handbook of Practical Logic and Automated Reasoning
by: Harrison, John
Hardcover: 703 pages
Publisher: Cambridge University Press( March 12, 2009 )
ISBN-10: 0521899575
Handbook of Practical Logic and Automated Reasoning
by: Harrison, John
Hardcover: 703 pages
Publisher: Cambridge University Press( March 12, 2009 )
ISBN-10: 0521899575

