Sökning: onr:"swepub:oai:DiVA.org:uu-27268" >
THE ANATOMY OF VAMPIRE
-
VORONKOV, AUppsala universitet
(författare)
THE ANATOMY OF VAMPIRE
- Artikel/kapitelEngelska1995
Förlag, utgivningsår, omfång ...
-
KLUWER ACADEMIC PUBL,1995
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:uu-27268
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-27268URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:vet swepub-contenttype
-
Ämneskategori:art swepub-publicationtype
Anmärkningar
-
Addresses: UPPSALA UNIV, DEPT COMP SCI, UPPSALA, SWEDEN.
-
We present an implementation technique for a class of bottom-up logic procedures. The technique is based on code trees. It is intended to speed up most important and costly operations, such as subsumption and resolution. As an example, we consider the for
Ämnesord och genrebeteckningar
-
BOTTOM-UP ALGORITHMS; INDEXING; SUBSUMPTION; OTTERS; VAMPIRES; LOGIC
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Uppsala universitet
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:JOURNAL OF AUTOMATED REASONING: KLUWER ACADEMIC PUBL15:2, s. 237-2650168-7433
Internetlänk
Hitta via bibliotek
Till lärosätets databas