Special issue on practical aspects of automated reasoning

• Authors:

• Boris Konev;Renate A. Schmidt;Stephan Schulz

• Affiliations:

• University of Liverpool, Liverpool, UK. E-mail: konev@liverpool.ac.uk;The University of Manchester, Manchester, UK. E-mail: Renate.Schmidt@manchester.ac.uk;Technische Universität München, München, Germany. E-mail: schulz@eprover.org

• Venue:
• AI Communications - Practical Aspects of Automated Reasoning
• Year:
• 2010