Record Citations
APA (7th ed.) Citation
Marakakis, E., Kondylakis, H., & Papadakis, N. (2012). Knowledge Representation in a Proof Checker for Logic Programs. IntechOpen. https://doi.org/10.5772/37201
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
Marakakis, Emmanouil, Haridimos Kondylakis, and Nikos Papadakis. Knowledge Representation in a Proof Checker for Logic Programs. IntechOpen, 2012. https://doi.org/10.5772/37201.
Successfully copied to clipboard
Copying to clipboard failed
MLA (9th ed.) Citation
Marakakis, Emmanouil, et al. Knowledge Representation in a Proof Checker for Logic Programs. IntechOpen, 2012. https://doi.org/10.5772/37201.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.