On optimizing proof search in linear logic by value iteration method
| Hlavní autori: | , |
|---|---|
| Médium: | Článok |
| Jazyk: | slovenčina angličtina |
| Fyzický popis: | Tab. |
| ISSN: | 1335-8243 |
| Predmet: |
Podobné exempláre
On applying stochastic problems in higher-order theories
Autor: Novitzká, Valerie, a ďalší
Autor: Novitzká, Valerie, a ďalší
Linear logical reasoning on programming
Autor: Novitzká, Valerie, a ďalší
Autor: Novitzká, Valerie, a ďalší
Stochastic Programming
Autor: Gvozdjak, Ladislav, 1919-1998, a ďalší
Autor: Gvozdjak, Ladislav, 1919-1998, a ďalší
The implementation of iterative outer approximation method for elasto-plastic torsion problem
Autor: Dražić, Ivan, a ďalší
Autor: Dražić, Ivan, a ďalší
