Zobrazeno 1 - 10
of 34 035
pro vyhledávání: '"P. Lamont"'
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.
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.
A key challenge in automated formal reasoning is the intractable search space, which grows exponentially with the depth of the proof. This branching is caused by the large number of candidate proof tactics which can be applied to a given goal. Noneth
Externí odkaz:
http://arxiv.org/abs/2410.11133
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.
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.
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.
Kniha
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.
Autor:
Madeline Grohowski
Publikováno v:
University of Bucharest Review. Literary and Cultural Studies Series, Vol 14, Iss 1, Pp 78-86 (2024)
This article explores how Frances Lamont and Elizabeth Morison’s An Adventure (1913) disrupts temporal and spatial dichotomies through its supposed representations of time travel. An Adventure presents time as a shifting force that aligns with Berg
Externí odkaz:
https://doaj.org/article/fe9715a4b5884ece873e4533c9f7c263
Autor:
Iva Savić
Publikováno v:
Zbornik Pravnog Fakulteta u Zagrebu, Vol 68, Iss 2, Pp 303-307 (2018)
“Current issues in freight forwarding: law and logistics” is the final fruit reaped after two successful conferences dedicated to the topic of logistics and freight forwarding, organized in Edinburgh and Antwerp in 2015 and 2016, respectively. Th
Externí odkaz:
https://doaj.org/article/1ee92283639e48398f0c02e31ff25a1b
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.