L773:0168 7433 OR L773:1573 0670
Search: L773:0168 7433 OR L773:1573 0670 > THE ANATOMY OF VAMPIRE
- 23 of 24
- Previous record
- Next record
- To hitlist
THE ANATOMY OF VAMPIRE
-
- VORONKOV, A (author)
- Uppsala universitet
- (creator_code:org_t)
- KLUWER ACADEMIC PUBL, 1995
- 1995
- English.
- In: JOURNAL OF AUTOMATED REASONING. - : KLUWER ACADEMIC PUBL. - 0168-7433. ; 15:2, s. 237-265
- Journal article (other academic/artistic)
Abstract
Subject headings
Close
- 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
Keyword
- BOTTOM-UP ALGORITHMS; INDEXING; SUBSUMPTION; OTTERS; VAMPIRES; LOGIC
Publication and Content Type
- vet (subject category)
- art (subject category)
Find in a library
- JOURNAL OF AUTOMATED REASONING (Search for host publication in LIBRIS)
To the university's database
- 23 of 24
- 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
