Experiments with Automated Reasoning in the Class

Lecture notes in computer science, pp. 287–304

Authors 5

1. Isabela Drămnesc corresponding

   West University of Timişoara

   Affiliation as printed

   West University, Timisoara, Romania

2. Erika Ábrahám Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

3. Tudor Jebelean

   Johannes Kepler University of Linz

   Affiliation as printed

   Johannes Kepler University, Linz, Austria

4. Gábor Kusper

   Eszterhazy Karoly Catholic University

   Affiliation as printed

   Eszterhazy Karoly Catholic University, Eger, Hungary

5. Sorin Stratulat

   Centre National de la Recherche Scientifique · Laboratoire Lorrain de Recherche en Informatique et ses Applications · Université de Lorraine

   Affiliation as printed

   Université de Lorraine, CNRS, LORIA, 57000, Metz, France