29 results
Detection of gluten in duplicate portions to determine gluten intake of coeliac disease patients on a gluten-free diet
-
- Journal:
- British Journal of Nutrition / Volume 125 / Issue 9 / 14 May 2021
- Published online by Cambridge University Press:
- 28 July 2020, pp. 1051-1057
- Print publication:
- 14 May 2021
-
- Article
-
- You have access
- HTML
- Export citation
Determination of static space occupied by individual weaner and growing pigs using an image-based monitoring system
-
- Journal:
- The Journal of Agricultural Science / Volume 156 / Issue 2 / March 2018
- Published online by Cambridge University Press:
- 07 March 2018, pp. 282-290
-
- Article
- Export citation
Non-reductive Homogeneous Pseudo-Riemannian Manifolds of Dimension Four
-
- Journal:
- Canadian Journal of Mathematics / Volume 58 / Issue 2 / 01 April 2006
- Published online by Cambridge University Press:
- 20 November 2018, pp. 282-311
- Print publication:
- 01 April 2006
-
- Article
-
- You have access
- Export citation
N. A. Šanin. Konstruktivnyé véščéstvénnyé ĉisla i konstruktivnyé funkcional'nyé prostranstva (Constructive real numbers and constructive functional spaces). Problémy konstrukticnogo napravléniá v matématik, 2 (Konstruktivnyj matématičéskij analiz), Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 67Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1962, pp. 15–294.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 290-292
- Print publication:
- 25 July 1969
-
- Article
- Export citation
A. A. Lápunov. O logičéskih shémah programm. Problémy kibérnétiki, vol. 1 (1958), pp. 46–74. - A. A. Lyapunov. The logical structure of programmes. English translation of the preceding. Problems of cybernetics, vol. 1 (1960), pp. 48–81. - A. A. Ljapunow. Über logische Programm-Schemata. German translation of the same. Probleme der Kybernetik, vol. 1 (1962), pp. 53–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 466-467
- Print publication:
- 10 October 1968
-
- Article
- Export citation
A. P. Éršov. Opératornyé algorifmy. II. (Opisanié osnovnyh konstrukcij programmirovaniá.)Problémy kibérnétiki, vol. 8 (1962), pp. 211–233. - A. P. Jerschow. Operator-Algorithmen. II. (Beschreibung der Grundzüge der Programmierung.) German translation of the preceding by Heinz D. Modrow. Probleme der Kybernetik, vol. 8 (1965), pp. 208–232.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 467
- Print publication:
- 10 October 1968
-
- Article
- Export citation
S. Ú. Maslov. O “Tag”-problémé E. L. Posta (On the “Tag” problem of E. L. Post). Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 72, Izdatél′stvo “Nauka,”Moscow and Leningrad1964, pp. 57–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-527
- Print publication:
- February 1968
-
- Article
- Export citation
S. Ú. Maslov. Préobrazovanié proizvol′nyh kanoničéskih isčislénij v kanoničéskié isčisléniá spécial′nyh tipov. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 779–782. - S. Ju. Maslov. Transformation of arbitrary canonical calculi into canonical calculi of special types. English translation of the preceding by R. N. Gdss. Soviet mathematics, vol. 3 no. 6 (1963), pp. 1708–1711.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
- Print publication:
- February 1968
-
- Article
- Export citation
S. Ú. Maslov. Nékotoryé svojstva apparata kanoničéskih isčislénij E. L. Posta (some properties of E. L. Post's apparatus of canonical systems). Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 72, Izdatél′stvo “Nauka,”Moscow and Leningrad1964, pp. 5–56.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 524-526
- Print publication:
- February 1968
-
- Article
- Export citation
Ú. I. Ânov. О matričnyh shémah (On matrix schemata). Doklady Akadémii Nauk SSSR, Vol. 113 (1957), pp. 283–286.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
- Print publication:
- 09 October 1967
-
- Article
- Export citation
S. Ú. Maslov. О strogoj prédstavimosti množéstv isčisléniámi. Doklady Akadémii Nauk SSSR, Vol. 152 (1963), pp. 272–274. - S. Ju. Maslov. Strong representability of sets by calculi. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 5 (1964), pp. 1292–1295.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-392
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Ú. I. Ánov. О ravnosil′nosti i préobrazovaniáh shém programm (On The equivalence and transformations of program schemata). Doklady Akadémii Nauk SSSR, Vol. 113 (1957), pp. 39–42.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
- Print publication:
- 09 October 1967
-
- Article
- Export citation
S. Ú. Maslov. O nékotoryh sposobah zadaniá množéstv v bazisah poroždéniá. Doklady Akadémii Nauk SSSR, Vol. 153 (1963), pp. 266–269. - S. Ju. Maslov. Some methods for the definition of sets in generating bases. English translation of the preceding by Avner Falk. Soviet mathematics, vol. 4 no. 6 (1964), pp. 1649–1652.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 392-393
- Print publication:
- 09 October 1967
-
- Article
- Export citation
V. S. Čérnávskij. Ob obratimosti algorifmov (On the reversibility of algorithms). Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 9 (1960), pp. 425–453.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-656
- Print publication:
- December 1966
-
- Article
- Export citation
A. A. Markov. O konstruktivnyh funkciáh (On constructive functions). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Maté-matičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 315–348.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 258
- Print publication:
- June 1966
-
- Article
- Export citation
N. A. Šanin. О konstruktivnom ponimanii matématičéskih suždénij (On the constructive interpretation of mathematical judgments). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 226–311.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-258
- Print publication:
- June 1966
-
- Article
- Export citation
G. S. Céjtin. Associativnoé isčslénié s nérazréšimoj problémoj ekvivaléntnosti (Associative calculus with unsolvable equivalence problem). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 52, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 172–189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-255
- Print publication:
- June 1965
-
- Article
- Export citation
N. N. Vorob′év. Novyj algorifm vyvodimosti v konstruktivnom isčislénii uyskazyvanij (A new algorithm of deducibility in the constructive propositional calculus). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 193–225.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
- Print publication:
- June 1964
-
- Article
- Export citation
N. M. Nagornyj. O minimal′nom aljavité algorifmov nad dannym alfavitom (On a minimal alphabet of algorithms over a given alphabet). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 66–74.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 108
- Print publication:
- June 1964
-
- Article
- Export citation