WFRF:(Degtyarev A)
Sökning: WFRF:(Degtyarev A) > What you always wan...
What you always wanted to know about rigid E-unification
-
- Degtyarev, A (författare)
- Uppsala universitet
-
- Voronkov, A (författare)
- Uppsala universitet
- (creator_code:org_t)
- SPRINGER-VERLAG BERLIN, 1996
- 1996
- Engelska.
- Ingår i: LOGICS IN ARTIFICIAL INTELLIGENCE. - : SPRINGER-VERLAG BERLIN. ; 1126, s. 50-69
- Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
Abstract
Ämnesord
Stäng
- This paper solves an open problem posed by a number of researchers: the construction of a complete calculus for matrix-based methods with rigid E-unification. The use of rigid E-unification and simultaneous rigid E-unification for such methods has been pr
Nyckelord
- BASIC PARAMODULATION; EQUATIONAL MATINGS; THEOREM; SUPERPOSITION; SYSTEMS
Publikations- och innehållstyp
- vet (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
- LOGICS IN ARTIFICIAL INTELLIGENCE (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Degtyarev, A
- Voronkov, A
- Artiklar i publikationen
- LOGICS IN ARTIFI ...
- 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
