Handbook of Automated Reasoning, Vol. 1 > Editions
by John Alan Robinson First published June 22nd 2001
Published September 1st 2001
by Mit Pr
Hardcover, 2,122 pages
Published September 1st 2001
by Mit Pr
2-Volume Set ed., Hardcover, 2,150 pages
Published
by North-Holland
Hardcover, 0 pages
Published July 6th 2001
by North Holland
Hardcover, 2,128 pages