On the Indiscernibility of Individuals in Logic Programming
Huvudupphovsmä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 |