Automated Deduction - CADE-19 Gisela Universität Koblenz-Landau (Institut für Evangelische
Description
Universität Koblenz-Landau (Institut für Evangelische Theologie)
dass Change Management überhaupt funktionieren kann
Hierzu zählen Vor- und Nachberichte
Veranstaltung: Gedenkstätten als außerschulische Lernorte - Ausstellungskonzepte und Vermittlungsmethoden im digitalen Zeitalter
the University of Medicine and Dentistry of New Jersey
Automated Deduction - CADE-19 Gisela Universität Koblenz-Landau (Institut für EvangelischeThis volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE 19) held 28 July2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: 4 contributions by invited speakers: one full paper and three short abstracts; 29 accepted technical papers; 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated theor proving
Exchange/Return Notes
- We offer a 30-day return/exchange service after receiving.
- Final sale items are not eligible for returns or exchanges.
- To process your return/exchange, please contact us at [email protected]
- Please click here for more details>>> Return & Exchange Policy
You may also like
recommand products
