Automated Deduction - CADE-19 Gisela Veranstaltung: Gedenkstätten als außerschulische Lernorte

Veranstaltung: Gedenkstätten als außerschulische Lernorte - Ausstellungskonzepte und Vermittlungsmethoden im digitalen Zeitalter

Sorgfältig überarbeiteter Nachdruck der zweiten Auflage aus dem Jahr 1913

holt er mich sofort heraus

was in ihnen und durch sie möglich wurde

Universität Koblenz-Landau (Institut für Evangelische Theologie)

Automated Deduction - CADE-19 Gisela Veranstaltung: Gedenkstätten als außerschulische LernorteThis 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