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

NIČEOV PROTIV-SISTEM

Journal Article published 3 Sep 2015 in ARHE volume 10 issue 20 on page 162

Authors: LAZAR ATANASKOVIĆ

KRITIKA I SISTEM. IDEJA ‘KONSTITUTIVNE’ KRITIKE KOD FIHTEA

Journal Article published 11 May 2017 in ARHE volume 13 issue 25 on page 27

Authors: NEVENA JEVTIĆ

JOHAN GOTLIB FIHTE: "SISTEM ETIKE U SKLADU S PRINCIPIMA NAUKE O ZNANOSTI"

Journal Article published 11 May 2017 in ARHE volume 13 issue 25 on page 141

Authors: Mina Đikanović, Nevena Jevtić

Šé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‚ 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

Ł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

Kogalovskij S. R.. O kompaktnyh klassah algébraičéskih sistém. Russian original of XXXIX 367(24). Algébra i logika, vol. 7 no. 2 (1968), pp. 27–41.

Journal Article published Jun 1974 in The Journal of Symbolic Logic volume 39 issue 02 on page 339

Authors: Leszek Pacholski

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

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

Maslov S. Yu.. Theory of deductive systems and its applications. English translation by Gelfond Michael and Lifschitz Vladimir of Téoriá déduktivnyh sistém i éé priménéniá. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1987, x + 151 pp.

Journal Article published Dec 1988 in The Journal of Symbolic Logic volume 53 issue 04 on pages 1260 to 1261

Authors: Daniel J. Dougherty

Markov A. A.. Ob invérsionnoj složnosti sistém funkcij. Doklady Akadémii Nauk SSSR, vol. 116 (1957), pp. 917–919.Markov A. A.. On the inversion complexity of a system of functions. English translation of the preceding by Morris D. Friedman. Journal of the Association for Computing Machinery, vol. 5 (1958), pp. 331–334.

Journal Article published Sep 1965 in The Journal of Symbolic Logic volume 30 issue 03 on pages 378 to 379

Authors: E. N. Gilbert

Andon F. I.. Ob odnom podhodé k minimizacii sistém bulévyh funkcij (On one approach to the minimization of systems of Boolean functions). Kibérnétika (Kiev), no. 5 (1966), pp. 44–48.Andon F. I.. Algoritm uproščéniá d.n.f. bulévyh funckij (A simplification alogrithm of a disjunctive normal form of the Boolean functions). Kibérnétika (Kiev), no. 6 (1966), pp. 12–14.

Journal Article published Jun 1970 in The Journal of Symbolic Logic volume 35 issue 02 on page 330

Authors: Á. Ádám

Šéstakov V. I.. Pérfokartočnyj métod sintéza mnogotaktnyh réléjnyh sistém (Punched cards synthesis method of switching systems.) Avtomatika i téléméhanika, vol. 19 (1958), pp. 592–605.Shestakov V. I.. A punched card method for synthesizing relay systems. English translation of the preceding. Automation and remote control, vol. 19 no. 6 (1959), pp. 581–592.

Journal Article published Sep 1959 in The Journal of Symbolic Logic volume 24 issue 03 on page 259

Authors: Edward F. Moore

Mučnik A. A.. Izomorfizm sistém rékursivno péréčislimyh množéstv s efféktivnymi svojstvami. Trudy Moskovskogo Matématičéskogo Obščéstva, Vol. 7 (1958), pp. 407–412.Mučnik A. A.. Isomorphism of systems of recursively enumerable sets with effective properties. English translation of the preceding by Mendelson E.. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 7–13.

Journal Article published Oct 1967 in The Journal of Symbolic Logic volume 32 issue 03 on pages 393 to 394

Authors: A. H. Lachlan

Falévič B. Á.. Novyj métod dokazatél'stva téorém népolnoty dlá sistém s pravilom Karnapa i égo Priložénié K voprosu vzaimootnošéniá klassičéskogo i konstruktivnogo analizov (New Method of proof of the incompleteness theorem for systems with Carnap's rule and its application to the question of the relation between classical and constructive analysis). Doklady Akadémii Nauk SSSR, vol. 120 (1958), pp. 1210–1213.

Journal Article published Oct 1967 in The Journal of Symbolic Logic volume 32 issue 03 on page 419

Authors: A. Kostinsky