7 results
Neural network retrieval of wind velocity profiles from satellite data
-
- Journal:
- Meteorological Applications / Volume 7 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 01 March 2000, pp. 69-74
- Print publication:
- March 2000
-
- Article
- Export citation
S. A. Ánovskaá. Matématičéskaá logika i osnovaniá matématiki (Mathematical logic and the foundations of mathematics). Matématika v SSSR za sorok lét 1917–1957, Vol. I, Obzornyé stat'i, Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Litératury, Moscow 1959, pp. 13–120.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 470
- Print publication:
- December 1962
-
- Article
- Export citation
I. D. Zaspavskij. Oprovèržénié nékotoryh téorém klassičéskogo analiza v konstruktivnom analizé (Disproof of some theorems of classical analysis in constructive analysis), Ibid., pp. 209–210.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 409
- Print publication:
- December 1956
-
- Article
- Export citation
Chen-Chung Chang. Some general theorems on direct products and their applications in the theory of models. Ibid., vol. 57 (1954), pp. 592–598; also ibid., vol. 16 (1954), pp. 592–598.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 406
- Print publication:
- December 1956
-
- Article
- Export citation
G. S. Céjtin. O téorémé Koši v konstruktivnom analizé (On Cauchy's theorem in constructive analysis). Uspéhi matématičéskih nauk, vol. 10 no. 4 (1955), pp. 207–209.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 408-409
- Print publication:
- December 1956
-
- Article
- Export citation
Alfred Tarski. Contributions to the theory of models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 (1954), pp. 572–588, and vol. 58 (1955), pp. 56–64; also Indagationes mathematicae, vol. 16 (1954), pp. 572–588, and vol. 17 (1955), pp. 56–64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 405-406
- Print publication:
- December 1956
-
- Article
- Export citation
S. V. Áblonskij and I. A. Čégis. O téstah dlá eléktričéskih shém (On tests for electric circuits). Uspéhi matématičéskih nauk, vol. 10 no. 4 (1955), pp. 182–184.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 399-400
- Print publication:
- December 1956
-
- Article
- Export citation