9 results
Long - Distance Flying
-
- Journal:
- The Aeronautical Journal / Volume 30 / Issue 188 / August 1926
- Published online by Cambridge University Press:
- 24 August 2017, pp. 482-494
-
- Article
- Export citation
The History and Progress of Refuelling in Flight
-
- Journal:
- The Aeronautical Journal / Volume 44 / Issue 355 / July 1940
- Published online by Cambridge University Press:
- 28 July 2016, pp. 557-603
-
- Article
- Export citation
The Royal Aeronautical Society
-
- Journal:
- The Aeronautical Journal / Volume 31 / Issue 193 / January 1927
- Published online by Cambridge University Press:
- 28 July 2016, pp. 3-16
-
- Article
- Export citation
Blazing the Trail*
-
- Journal:
- The Aeronautical Journal / Volume 70 / Issue 661 / January 1966
- Published online by Cambridge University Press:
- 04 July 2016, pp. 268-269
-
- Article
- Export citation
Michael Arbib and Manuel Blum. Machine dependence of degree of difficulty. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 442–447.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 509
- Print publication:
- 17 November 1969
-
- Article
- Export citation
B. M. Kloss. K oprédéléniú složnosti algoritmov. Doklady Akademii Nauk SSSR, vol. 157 (1964), pp. 38–40. - B. M. Kloss. The definition of complexity of algorithms. English translation of the preceding by S. L. Bloom. Soviet Mathematics, vol. 5 no. 4 (1964), pp. 880–882.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 509
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Ettore Carruccio. Sulle dimostrazioni di coerenza dei sistemi ipotetico-deduttivi. Università e Politecnico di Torino, Rendiconti del Seminario Matematico, vol. 10 (1950–1951), pp. 97–110.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 208
- Print publication:
- December 1964
-
- Article
- Export citation
Some remarks concerning theories with recursively enumerable complements1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-74
- Print publication:
- March 1963
-
- Article
- Export citation
Reduction to a symmetric predicate
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-59
- Print publication:
- March 1956
-
- Article
- Export citation