Zobrazeno 1 - 10
of 631
pro vyhledávání: '"Bova S."'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Energy 15 April 2019 173:971-984
Autor:
Bova, S., Montagna, F.
We introduce a proof system for Hajek's logic BL based on a relational hypersequents framework. We prove that the rules of our logical calculus, called RHBL, are sound and invertible with respect to any valuation of BL into a suitable algebra, called
Externí odkaz:
http://arxiv.org/abs/cs/0605094
Publikováno v:
In Energy Procedia August 2018 148:712-719
Publikováno v:
In Energy Procedia August 2018 148:575-582
Publikováno v:
In Energy Procedia August 2018 148:986-993
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Geophysical Research Letters; 2/28/2024, Vol. 51 Issue 4, p1-10, 10p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Energy Procedia December 2015 81:907-917