Conference
View in EDS

A three-valued semantic for Horn clause programs

Bibliographic Details
Title: A three-valued semantic for Horn clause programs
Authors: Naish, L.
Source: Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518) Australasian computer science Computer Science Conference, 2000. ACSC 2000. 23rd Australasian. :174-180 2000
Relation: Proceedings 23rd Australasian Computer Science Conference. ACSC 2000
Database: IEEE Xplore Digital Library
FullText Text:
  Availability: 0
Header DbId: edseee
DbLabel: IEEE Xplore Digital Library
An: edseee.824399
RelevancyScore: 946
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 946.449523925781
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A three-valued semantic for Horn clause programs
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Naish%2C+L%2E%22">Naish, L.</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518) Australasian computer science Computer Science Conference, 2000. ACSC 2000. 23rd Australasian. :174-180 2000
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: Proceedings 23rd Australasian Computer Science Conference. ACSC 2000
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.824399
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/ACSC.2000.824399
    PhysicalDescription:
      Pagination:
        PageCount: 7
        StartPage: 174
    Titles:
      – TitleFull: A three-valued semantic for Horn clause programs
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Naish, L.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2000
          Identifiers:
            – Type: isbn-print
              Value: 076950518X
            – Type: isbn-print
              Value: 9780769505183
            – Type: issn-locals
              Value: edseee.IEEEConferenc
          Titles:
            – TitleFull: Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518), Computer Science Conference, 2000. ACSC 2000. 23rd Australasian, Australasian computer science
              Type: main
ResultId 1