Knowledge Representation in a Proof Checker for Logic Programs

None

Saved in:

Bibliographic Details
Main Authors:	Marakakis, Emmanouil, Kondylakis, Haridimos, Papadakis, Nikos
Format:	Electronic Book Chapter
Language:	English
Published:	IntechOpen 2012
Subjects:	Physical Sciences, Engineering and Technology
Online Access:	https://www.intechopen.com/chapters/36660
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet