THE ANATOMY OF VAMPIRE

LIBRIS Formathandbok (Information om MARC21)

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.