Počet záznamů: 1
Skolemization and Herbrand theorems for lattice-valued logics
- 1.CINTULA, Petr, DIACONESCU, D., METCALFE, G. Skolemization and Herbrand theorems for lattice-valued logics. Theoretical Computer Science. 2019, 768(10 May), 54-75. ISSN 0304-3975. E-ISSN 1879-2294. Dostupné z: doi: 10.1016/j.tcs.2019.02.007.
Počet záznamů: 1