Open access peer-reviewed chapter

Knowledge Representation in a Proof Checker for Logic Programs

Written By

Emmanouil Marakakis, Haridimos Kondylakis and Nikos Papadakis

Submitted: May 31st, 2011 Reviewed: November 20th, 2011 Published: May 9th, 2012

DOI: 10.5772/37201

Chapter metrics overview

1,364 Chapter Downloads

View Full Metrics

Written By

Emmanouil Marakakis, Haridimos Kondylakis and Nikos Papadakis

Submitted: May 31st, 2011 Reviewed: November 20th, 2011 Published: May 9th, 2012