Քո փնտրումը վերադարձրեց 62 արդյունք։

Արդյունքներ
	1.	Չկան հասանելի կազմերի պատկերներ Interval colorings of graphs with predefined restrictions : Dissertation for the degree of candidate of physical and mathematical sciences in the specialty A.01.09.-''Mathematical cybernetics and Mathematical logic" / Albert Khachik Sahakyan. Sahakyan, Albert Khachik Նյութի տեսակ։ Տեքստ Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Yerevan : [S. n.], 2021 Ատենախոսության նշում: Scientific supervisor Doctor of Physico-Mathematical sciences R.R. Kamalian Հասանելիություն: Նյութերը մատչելի են տացքի համար: National Library of Armenia (1)Տեղաբաշխում, դասիչ։ III / 291. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	2.	Algebra, logic, and combinatorics / Edt.: Shaun Bullett, Tom Fearn, Frank Smith. Bullett, Shaun [edt] Fearn, T [edt] Smith, F.T [edt] Մատենաշար։ LTCC advanced mathematics series ; vol. 3 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New Jersey : World Scientific, 2016 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ И II/115782. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	3.	Studies in weak arithmetics / Ed. by Patrick Cegielski. Cegielski, Patrick, 1954- [edt] Մատենաշար։ CSLI lecture notes ; No. 196 Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Stanford, Calif. : CSLI Publications, 2010 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ И II/114328. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	4.	Funktion, Begriff, Bedeutung : Fünf logische Studien / G. Frege ; Hrsg. und eingeleitet von G. Patzing. Frege, Gottlob Patzing, Günther [edt] Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Գերմաներեն Հրատարակման մանրամասներ։ Göttingen : Vandenhoeck & Ruprecht, 2008 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Linguistic University Library (1)Տեղաբաշխում, դասիչ։ 511.4 F 88. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	5.	The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma / edited by B. Jack Copeland. Turing, Alan Mathison, 1912-1954 Copeland, B. Jack, 1950- Նյութի տեսակ։ Տեքստ Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Oxford ; New York : Clarendon Press ;, Oxford University Press,. 2004 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 001:92 T-95. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	6.	Higher order operational techniques in semantics / edited by Andrew D. Gordon, Andrew M. Pitts. Gordon, Andrew D Pitts, Andrew M Մատենաշար։ Publications of the Newton Institute ; No. 12 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1998 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 004.0151 HIG. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	7.	Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer. Pitts, Andrew M Dybjer, Peter Մատենաշար։ Publications of the Newton Institute ; 14 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1997 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 004.0151 SEM. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	8.	Logic of mathematics : A modern course of classical logic / By Z. Adamowicz, P. Zbierski. Adamowicz, Zofia Zbierski, Pawel Մատենաշար։ Pure and applied mathematics Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Wiley & Sons, 1997 Հասանելիություն: Նյութերը մատչելի են տացքի համար: National Library of Armenia (2)Տեղաբաշխում, դասիչ։ II 56103, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	9.	Topology via logic / by Steven Vickers. Vickers, Steven Մատենաշար։ Cambridge Tracts in Theoretical Computer Science Ser. ; No. 5 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1996 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 512.55 VIC. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	10.	Epistemic logic for AI and computer science / by J.-J. Meyer, W. van der Hoek. Meyer, J.-J Der Hoek, W. van Մատենաշար։ Tracts in Theoretical Computer Science Ser. ; No. 41 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1995 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 511.3 MEY. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	11.	From symbolic logic-- to mathematical logic / Charles L. Silver. Silver, Charles L Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Dubuque, Iowa : Wm. C. Brown Publishers, c1994 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 16 S-60. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	12.	Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. Ebbinghaus, Heinz-Dieter, 1939- Flum, Jorg Thomas, Wolfgang, 1947- Մատենաշար։ Undergraduate texts in mathematics Հրատարակություն։ 2nd ed. Նյութի տեսակ։ Տեքստ Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Springer-Verlag, 1994 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Engineering University Library (1)Տեղաբաշխում, դասիչ։ 511.3 E-14. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	13.	Logic and structure / Dirk van Dalen. Dalen, D. van, 1932- Մատենաշար։ Universitext Հրատարակություն։ 3rd augm. ed. Նյութի տեսակ։ Տեքստ Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1994 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Engineering University Library (1)Տեղաբաշխում, դասիչ։ 511.3 D-16. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	14.	Lectures on linear logic / by A.S. Troelstra. Troelstra, A.S Մատենաշար։ CSLI Lecture Notes ; No. 29 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Stanford, Calif. : Center for the Study of Language and Information, 1992 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 511.3 TRO. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	15.	Non-monotonic reasoning : logical architecture and philosophical applications / by Yao Hua Tan. Tan, Yao Hua Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Amsterdam, Neth. : Universiteit te Amsterdam, 1992 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 160 TAN. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	16.	Philosophical applications of free logic / with an introduction and edited by Karel Lambert. Lambert, Karel, 1928- [edt] Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Oxford University Press, 1991 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 1Ф L-20. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	17.	Frege and other philosophers / Michael Dummett. Dummett, Michael Նյութի տեսակ։ Տեքստ Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Oxford : Clarendon Press, 1991 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 1Ф:92 D-89. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	18.	Չկան հասանելի կազմերի պատկերներ Journal of logic and computation Նյութի տեսակ։ Շարունակական պաշար; Շարունակական պաշարի տեսակը: պարբերական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Oxford : Oxford University Press, 1990- Առցանց պաշարներ։ Սեղմիր այստեղ առցանց մուտքի համար Սեղմիր այստեղ առցանց մուտքի համար Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (4)Տեղաբաշխում, դասիչ։ ИЖ 3774, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	19.	Reasoning with incomplete information / David W. Etherington. Etherington, David W Մատենաշար։ Research notes in artificial intelligence Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ London ; Los Altos : Pitman ; Morgan Kaufmann, 1988 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/6808. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
	20.	A theory of heuristic information in game-tree search / by Chun-Hung Tzeng. Tzeng, Chun-Hung Մատենաշար։ Symbolic computation. Artificial intelligence Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1988 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/7200. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)

Վերաձևակերպիր քո փնտրումը

Հասանելիություն

Հեղինակներ

Նյութի տեսակներ

Մատենաշար

Թեմաներ

Հավաքածուներ

Պահումը իրականացնող գրադարաններ

Քո փնտրումը վերադարձրեց 62 արդյունք։