Sökning: onr:"swepub:oai:DiVA.org:uu-27268" > THE ANATOMY OF VAMPIRE
Fältnamn | Indikatorer | Metadata |
---|---|---|
000 | 01195naa a2200253 4500 | |
001 | oai:DiVA.org:uu-27268 | |
003 | SwePub | |
008 | 081017s1995 | |||||||||||000 ||eng| | |
024 | 7 | a https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-272682 URI |
040 | a (SwePub)uu | |
041 | a engb eng | |
042 | 9 SwePub | |
072 | 7 | a vet2 swepub-contenttype |
072 | 7 | a art2 swepub-publicationtype |
100 | 1 | a VORONKOV, Au Uppsala universitet4 aut |
245 | 1 0 | a THE ANATOMY OF VAMPIRE |
264 | 1 | b KLUWER ACADEMIC PUBL,c 1995 |
338 | a print2 rdacarrier | |
500 | a Addresses: UPPSALA UNIV, DEPT COMP SCI, UPPSALA, SWEDEN. | |
520 | a 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 | |
653 | a BOTTOM-UP ALGORITHMS; INDEXING; SUBSUMPTION; OTTERS; VAMPIRES; LOGIC | |
710 | 2 | a Uppsala universitet4 org |
773 | 0 | t JOURNAL OF AUTOMATED REASONINGd : KLUWER ACADEMIC PUBLg 15:2, s. 237-265q 15:2<237-265x 0168-7433 |
856 | 4 8 | u https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-27268 |
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
Kopiera och spara länken för att återkomma till aktuell vy