onr:"swepub:oai:DiVA.org:uu-27268"
Search: onr:"swepub:oai:DiVA.org:uu-27268" > THE ANATOMY OF VAMPIRE
- 1 of 1
- Previous record
- Next record
- To hitlist
- VORONKOV, AUppsala universitet (author)
THE ANATOMY OF VAMPIRE
- Article/chapterEnglish1995
Publisher, publication year, extent ...
- KLUWER ACADEMIC PUBL,1995
- printrdacarrier
Numbers
- LIBRIS-ID:oai:DiVA.org:uu-27268
- https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-27268URI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- 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
Subject headings and genre
- BOTTOM-UP ALGORITHMS; INDEXING; SUBSUMPTION; OTTERS; VAMPIRES; LOGIC
Added entries (persons, corporate bodies, meetings, titles ...)
- Uppsala universitet (creator_code:org_t)
Related titles
- In:JOURNAL OF AUTOMATED REASONING: KLUWER ACADEMIC PUBL15:2, s. 237-2650168-7433
Internet link
Find in a library
- JOURNAL OF AUTOMATED REASONING (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- VORONKOV, A
- Articles in the publication
- JOURNAL OF AUTOM ...
- By the university
- Uppsala University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
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.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
