Sold out

J. Robinson, J. Alan Robinson, Andrei Voronkov

Handbook of Automated Reasoning

English · Hardback

Description

A comprehensive resource on automated reasoning and its applications.

About the author

J. Alan Robinson is University Professor Emeritus at Syracuse University. Andrei Voronkov is Professor of Computer Science at the University of Manchester, UK.

Product details

Authors	J. Robinson
Assisted by	J. Alan Robinson (Editor), Andrei Voronkov (Editor)
Publisher	Mit Pr

Languages	English
Age Recommendation	from age 18
Product format	Hardback
Released	01.01.2001

No. of pages	2150
Dimensions	177 mm x 248 mm x 107 mm
Weight	4318 g
Series	The MIT Press The MIT Press
Subject	Natural sciences, medicine, IT, technology > IT, data processing > IT

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.