Handbook of Automated Reasoning

Av A. Robinson, A. Voronkov, Alan J.A. Robinson, Andrei Voronkov, USA) Robinson, Alan J.A. (96 Highland Avenue, Greenfield, Massachusetts, UK.) Voronkov, Andrei (University of Manchester, Computer Science Department, Oxford Road, Manchester, M13 9LP, Alan J. a. Robinson

Inbunden, Engelska, 2001

Av Alan J.A. Robinson, Andrei Voronkov

Inbunden, Engelska, 2001

Av Rachel Phillips

Inbunden, Engelska, 2025

Av John Harrison

Inbunden, Engelska, 2015

Av Max M. Houck, USA) Houck, Max M. (Vice President, Forensic and Intelligence Services, LLC, Virginia, Max Houck

Inbunden, Engelska, 2015

Av Sankar K. Pal, Alfredo Petrosino, Lucia Maddalena

Inbunden, Engelska, 2012