Handbook of Automated Reasoning‎

By Robinson   Alan J. A.;Voronkov   Andrei  

ISBN:9780080532790

Elsevier Science‎(2001)‎

Access to resources Favorite 10.575293

By Kazak Lawrence   Reyes Aurelio   Duncan Anna L.   Rorbach Joanna   Wood Stuart R.   Brea-Calvo Gloria   Gammage Payam A.   Robinson Alan J.   Minczuk Michal   Holt Ian J.   in Nucleic Acids Research

ISSN:1362-4962|41|4|2354-2369

Oxford University Press‎(2013)‎

Access to resources Favorite 4.8367076