02531cam a2200457Ki 4500 858530216 OCoLC 20240725062918.0 cr mn nnnaucua 220707t2013 gw a go d 101 0 eng c 3642406726 (ebook) 9783642406720 (ebook) 9783642406713 (paperback) GW5XE eng rda pn GW5XE YDXCP UKMGB OCLCA ZMC OCLCO UIAM QA448.D38 International Workshop on Automated Deduction in Geometry (9th : 2012 : Edinburgh, Scotland) 7070 Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers / Tetsuo Ida, Jacques Fleuriot (editors) ADG 2012 Heidelberg : Springer, 2013 ©2013 1 online resource (x, 193 pages) : illustrations text rdacontent computer rdamedia online resource rdacarrier text file PDF rda Lecture notes in artificial intelligence ; 7993 LNCS sublibrary. SL 7, Artificial intelligence Includes author index. Available to OhioLINK libraries This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry Automatic theorem proving Congresses 6833 Geometry Data processing Congresses 6832 Electronic books (Form) Fleuriot, Jacques, 1972- editor 7071 Ida, Tetsuo, editor 7072 Lecture notes in computer science. Lecture notes in artificial intelligence 7993 2978 LNCS sublibrary. SL 7, Artificial intelligence 2979 SpringerLink http://link.springer.com/10.1007/978-3-642-40672-0 Connect to resource bib-nhe lcc EBOOK 503113 534530 0 0 lcc 0 19 EBOOK IIUM IIUM WEB 2022-07-07 0 eb QA 448 D38 W67 2013 11100444556 2022-07-07 00:00:00 2022-07-07 EBOOK