Sökning: onr:"swepub:oai:DiVA.org:uu-65319" >
Constructing Logic ...
-
Nilsson, Jorgen FischerUppsala universitet,Institutionen för informationsvetenskap
(författare)
Constructing Logic Programs with Higher Order Predicates
- Artikel/kapitelEngelska1995
Förlag, utgivningsår, omfång ...
-
Universita' Degli Studi di Salerno, Salerno,1995
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:uu-65319
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-65319URI
Kompletterande språkuppgifter
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Hamfelt, Andreas.
(författare)
-
Uppsala universitetInstitutionen för informationsvetenskap
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Proceedings of GULP-PRODE'95, the Joint Conference on Declarative Programming: Universita' Degli Studi di Salerno, Salerno, s. 307-312
Internetlänk