On the Indiscernibility of Individuals in Logic Programming

Bibliografiska uppgifter
Huvudupphovsmän: Eiter, T, Gottlob, G, Leone, N
Materialtyp: Journal article
Publicerad: 1997
_version_ 1826270962666962944
author Eiter, T
Gottlob, G
Leone, N
author_facet Eiter, T
Gottlob, G
Leone, N
author_sort Eiter, T
collection OXFORD
description
first_indexed 2024-03-06T21:49:07Z
format Journal article
id oxford-uuid:4aa3d8db-b0e0-4012-b013-5de8ccb042c0
institution University of Oxford
last_indexed 2024-03-06T21:49:07Z
publishDate 1997
record_format dspace
spelling oxford-uuid:4aa3d8db-b0e0-4012-b013-5de8ccb042c02022-03-26T15:38:42ZOn the Indiscernibility of Individuals in Logic ProgrammingJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:4aa3d8db-b0e0-4012-b013-5de8ccb042c0Department of Computer Science1997Eiter, TGottlob, GLeone, N
spellingShingle Eiter, T
Gottlob, G
Leone, N
On the Indiscernibility of Individuals in Logic Programming
title On the Indiscernibility of Individuals in Logic Programming
title_full On the Indiscernibility of Individuals in Logic Programming
title_fullStr On the Indiscernibility of Individuals in Logic Programming
title_full_unstemmed On the Indiscernibility of Individuals in Logic Programming
title_short On the Indiscernibility of Individuals in Logic Programming
title_sort on the indiscernibility of individuals in logic programming
work_keys_str_mv AT eitert ontheindiscernibilityofindividualsinlogicprogramming
AT gottlobg ontheindiscernibilityofindividualsinlogicprogramming
AT leonen ontheindiscernibilityofindividualsinlogicprogramming