„Automatization of proof-search for a fragment of the first-order linear tense logic /“
Title
Automatization of proof-search for a fragment of the first-order linear tense logic /
Translation of Title
Įrodymo paieškos automatizacija pirmos eilės, tiesinio laiko logikos fragmentui.
Authors
Alonderis, Romas
DOI
10.15388/LMR.2003.32469
Full Text
Is Part of
Lietuvos matematikos rinkinys. 2003, T. 43, spec, nr, p. 423-428.. ISSN 0132-2818
Type
Conference paper
Language
English
Publication date
2003
CC license