TY - GEN digital ID - 131771385 TI - Handbook of automated reasoning AU - Robinson, J. A. AU - Voronkov, Andrei PY - 2001 SN - 9780444508133 0444508139 0444829490 9780444829498 0444508120 9780444508126 9780080532790 0080532799 PB - Cambridge, Mass MIT Press DB - UniCat KW - Artificial intelligence. Robotics. Simulation. Graphics UR - https://www.unicat.be/uniCat?func=search&query=sysid:131771385 AB - Handbook of Automated Reasoning. ER -