L773:0168 7433 OR L773:1573 0670
Sökning: L773:0168 7433 OR L773:1573 0670 > THE ANATOMY OF VAMPIRE
- 23 av 24
- Föregående post
- Nästa post
- Till träfflistan
- 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
- SwePubSwePub
Klassifikation
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
- JOURNAL OF AUTOMATED REASONING (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 23 av 24
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- VORONKOV, A
- Artiklar i publikationen
- JOURNAL OF AUTOM ...
- Av lärosätet
- Uppsala universitet
Sök utanför SwePub
- Sök vidare i:
- 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 - Nationella bibliotekssystem
- LIBRIS.kb.se
