GABBAY, Dov M. ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
An Equational Approach to Logic Programming
Date de publication/diffusion :
2012
Nom de la manifestation :
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Date de la manifestation :
2012
Titre de l'ouvrage principal :
Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz
