Cristin-resultat-ID: 169205
Sist endret: 21. oktober 2013, 12:14
Resultat
Vitenskapelig foredrag
1993

Structural complexity of Horn clause programs as a fundament for software design

Bidragsytere:
  • Øystein Nytrø

Presentasjon

Navn på arrangementet: Structural complexity and recursion-theoretic methods in logic programming : Vancouver, British Columbia, October 29, 1993
Sted: [Mangler data]

Arrangør:

Arrangørnavn: [Mangler data]

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 1993

Importkilder

Bibsys-ID: r94004600

Beskrivelse Beskrivelse

Tittel

Structural complexity of Horn clause programs as a fundament for software design

Bidragsytere

Aktiv cristin-person

Øystein Nytrø

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi og informatikk ved Norges teknisk-naturvitenskapelige universitet
1 - 1 av 1