-
1
-
2by Schwartzentruber, Johanna, Pientka, Brigitte“... environment Harpoon. The focusing calculus is designed to construct uniform proofs over contextual LF and its...”
Published in Electronic Proceedings in Theoretical Computer Science (2023)
Get access
Get access
Text -
3“... environment Harpoon. The focusing calculus is designed to construct uniform proofs over contextual LF and its...”
Get access
Get access
Text -
4by Storey, J. W. V., Ashley, M.C.B., Burton, M. G.“... wide range of astronomical research. Before a decision can be made on constructing an observatory, data...”
Published in Publications of the Astronomical Society of Australia (1996)
Get access
Get access
Article in Journal/Newspaper -
5“... of string rewriting. We construct a rewriting system that simulates the iterated application of the Collatz...”
Get access
Get access
Book Part -
6“... rewriting. We construct a rewriting system that simulates the iterated application of the Collatz function...”
Get access
Text -
7“... rewriting. We construct a rewriting system that simulates the iterated application of the Collatz function...”
Get access
Get access
Article in Journal/Newspaper -
8by Chen, K-Y., Esper, J., McNeill, J. D., Oliver, J. P., Schneider, G., Wood, F. B.“...An 8-cm optical telescope is constructed for use at the south pole. It is designed to make...”
Published in Symposium - International Astronomical Union (1986)
Get access
Get access
Article in Journal/Newspaper -
9
-
10“... critical areas or knowledge-based systems, the construction of a requirements domain theory is regarded...”
Get access
Get access
Get access
Article in Journal/Newspaper -
11“... critical areas or knowledge-based systems, the construction of a requirements domain theory is regarded...”
Get access
Get access
Get access
Article in Journal/Newspaper -
12
-
13
-
14
-
15Subjects: “...unification of constructive schemes...”
Get access
Get access
Article in Journal/Newspaper -
16by PLETERŠNIK, MIHAELSubjects: “...automation...”
Published 2015
Get access
Get access
Bachelor Thesis -
17by ZIBORDI Giuseppe, D'ALIMONTE Davide, KAJIYAMA Tamito“... decisions on dubious cases. These limitations solicited the development of an automated procedure, so called...”
Published in Journal of Atmospheric and Oceanic Technology (2022)
Get access
Get access
Get access
-
18by Aldykiewicz, Jr., Antonio J., Pallin, Simon, Gluesenkamp, Kyle, Momen, Ayyoub, Garner, Steve, Braisted, Matthew, Lee, Jeff, Hathcock, Abbey“... were constructed to conform to the exterior envelope (a corner wall construction with a fenestration...”
Published 2023
Get access
Get access
Get access
-
19“... to democratize both in new and renovated constructions, based on management systems relying on dedicated networks...”
Get access
Get access
Text -
20by Kamnev, Y. K., Filimonov, M. Yu., Shein, A. N., Vaganova, N. A.“...; note that it is located in the permafrost zone. Construction of the residential buildings...”
Published in GEOGRAPHY, ENVIRONMENT, SUSTAINABILITY (2021)
Get access
Get access
Article in Journal/Newspaper