Andrei Voronkov

Andrei Voronkov is Professor of Computer Science at the University of Manchester, UK.

		Handbook of Automated Reasoning J. Alan Robinson and Andrei Voronkov (Eds.) Cloth / September 2001 A comprehensive resource on automated reasoning and its applications. Price $165.00 | ADD TO CART
		Handbook of Automated Reasoning, Two-Volume Set J. Alan Robinson and Andrei Voronkov (Eds.) Cloth / September 2001 A comprehensive resource on automated reasoning and its applications. Price $270.00 | ADD TO CART
		Handbook of Automated Reasoning, Volume 1 J. Alan Robinson and Andrei Voronkov (Eds.) Cloth / September 2001 A comprehensive resource on automated reasoning and its applications. Price $135.00 | ADD TO CART