Knowledge Representation in a Proof Checker for Logic Programs

None

Guardado en:

Detalles Bibliográficos
Autores principales:	Marakakis, Emmanouil, Kondylakis, Haridimos, Papadakis, Nikos
Formato:	Capítulo de libro
Lenguaje:	inglés
Publicado:	IntechOpen 2012
Materias:	Physical Sciences, Engineering and Technology
Acceso en línea:	https://www.intechopen.com/chapters/36660
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet