Funding Data Link References Status API Help
Page 1 of 21 results
Sort by: relevance publication year

Šéstakov V. I.. Algébraičéskij métod analiza avtonomnyh sistém dvuhpozicionnyh rélé. I. (An algebraic method of analysis of autonomic systems of two-positional relays. I.) Avtomatika i téléméhanika, vol. 15 (1954), pp. 107–123.

Journal Article published Jun 1958 in The Journal of Symbolic Logic volume 23 issue 02 on pages 231 to 233

Authors: A. Wakulicz

Markov A.. Névozmožnost' algorifmov raspoznavaniá nékotoryh svojstv associativnyh sistém (Impossibility of algorithms for recognizing some properties of associative systems). Doklady Akadémii Nauk SSSR, vol. 77 (1951), pp. 953–956.

Journal Article published Jun 1952 in The Journal of Symbolic Logic volume 17 issue 02 on pages 151 to 152

Authors: Andrzej Mostowski

Markov A.. Névozmožnost‚ nékotoryh algorifmov v léorii associativnyh sistém (Impossibility of certain algorithms in the theory of associative systems). Doklady Akadémii Nauk SSSR, vol. 58 (1947), pp. 353–356.

Journal Article published Mar 1948 in The Journal of Symbolic Logic volume 13 issue 01 on page 53

Authors: Andrzej Mostowski

Markov A.. Névožmoinost' nékotoryh algoritmov v téorii associativnyh sistém (Impossibility of certain algorithms in the theory of associative systems). Doklady Akadémii Nauk SSSR, vol. 77 (1951), pp. 19–20.

Journal Article published Sep 1951 in The Journal of Symbolic Logic volume 16 issue 03 on page 215

Authors: Andrzej Mostowski

Łoś Jerzy. The algebraic treatment of the methodology of elementary deductive systems (Algebraizacja metodologii elementarnych systemów dedukcyjnych) (Algébraizaciá métodologii eléméntarnyh déduktivnyh sistém). English, with summaries in Polish and Russian. Studia logica, vol. 2 (1955), pp. 151–212. See Errata, ibid., p. 329.

Journal Article published Jun 1956 in The Journal of Symbolic Logic volume 21 issue 02 on pages 193 to 194

Authors: Leon Henkin

Šéstakov V. I.. Algébraičéskij métod sintéza mnogotaktnyh réléjnyh sistém (An algebraic method for the synthesis of switching circuits). Doklady Akadéimii Nauk SSSR, vol. 99 (1954), pp. 987–990.

Journal Article published Jun 1957 in The Journal of Symbolic Logic volume 22 issue 02 on page 221

Authors: Andrzej Wakulicz

Šéstakov V. I.. Algébraičéskij métod sintéza mnogotaktnyh sistém r-pozicionnyh rélé (An algebraic method for the synthesis of r-positional switching circuits). Doklady Akadémii Nauk SSSR, vol. 112 (1957), pp. 62–65.

Journal Article published Sep 1957 in The Journal of Symbolic Logic volume 22 issue 03 on page 333

Authors: Gene F. Rose

Šéstákov V. I.. Pérfohartočnyj métod sintéza mnogotaktnyh sistém mnogopozicionnyh rélé (Punched card synthesis of sequential switching systems of multi-position relays). Avtomatika i téléméhanika, vol. 20 (1959), pp. 1496–1506.

Journal Article published Mar 1966 in The Journal of Symbolic Logic volume 31 issue 01 on page 140

Authors: Andrzej Harland

Zaharova É. Ú.. Kritérij polnoty sistém funkcij iz Pκ (Criteria of completeness for systems of functions from Pκ). Problémy kibérnétiki, vol. 18 (1967), pp. 5–10.

Journal Article published Jan 1969 in The Journal of Symbolic Logic volume 33 issue 04 on pages 606 to 607

Authors: Ivo Rosenberg

Markov A.. Névozmožnost‚ nékotoryh algorifmov v léorii associativnyh sistém (Impossibility of certain algorithms in the theory of associative systems). Doklady Akadémii Nauk SSSR, vol. 55 (1947), pp. 587–590.

Journal Article published Mar 1948 in The Journal of Symbolic Logic volume 13 issue 01 on pages 52 to 53

Authors: Andrzej Mostowski