Որոնման արդյունքներ 'su:{Logic, Symbolic and mathematical.}' համար › ՀԱՅԱՍՏԱՆԻ ԳՐԱԴԱՐԱՆՆԵՐԻ ՀԱՄԱՀԱՎԱՔ ԳՐԱՑՈՒՑԱԿ = Union Catalog of Armenian Libraries քարտարան

Արդյունքներ
		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. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		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. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Intensional logic and the metaphysics of intentionality / Edward N. Zalta. Zalta, Edward N, 1952- Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, Mass. : MIT Press, 1988 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 1Ф Z-20. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Introduction to Mathematical Logic / Elliott Mendelson. Mendelson, Elliott Mendelson, Elliott Հրատարակություն։ 3rd ed. Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ New York ; Albany, a.o. : Chapman & Hall : An International Thomson Publishing Company, 1987 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Scientific Technical Library (1)Տեղաբաշխում, դասիչ։ 51 M 55. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Temporal logic of programs / Fred Kroger. Kroger, Fred, 1945- Մատենաշար։ EATCS monographs on theoretical computer science ; Vol. 8 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1987 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/7160. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Ω-Bibliography of mathematical logik / Ed. by Gert H. Muller ; In collab. with Wolfgang Lenski. Muller, Gert H [edt] Lenski, Wolfgang [clb] Մատենաշար։ Perspectives in mathematical logic Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin : Springer-Verlag, 1987 Այլ վերնագիր։ [Omega]-bibliography of mathematical logik Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (6)Տեղաբաշխում, դասիչ։ Gulb/ 6910, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic programming, functions, relations, and equations / [Ed. by] Doug DeGroot, Gary Lindstrom. DeGroot, Doug [edt] Lindstrom, Gary [edt] Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Englewood Cliffs, N.J. : Prentice-Hall, 1986 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/6577. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic Colloquium '84 : Proceedings of the colloquium held in Manchester, U.K., July 1984 / Editors : J.B. Paris, A.J. Wilkie, G.M. Wilmers. Logic Colloquium (1984 : Manchester, England) Paris, Jeff B Wilkie, Alec J Wilmers, G. M Association for Symbolic Logic Մատենաշար։ Studies in logic and the foundations of mathematics ; Vol. 120 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն, ֆրանսերեն Հրատարակման մանրամասներ։ Amsterdam ; Oxford : North-Holland, 1986 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5989. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic Colloquium '82 : Proceedings of the colloquium held in Florence, 23-28 August, 1982 / Ed. by G. Lolli, G. Longo and A. Marcja. Logic Colloquium '82 (Florence) Lolli, Gabriele, 1942- [edt] Longo, Giuseppe, 1929- [edt] Marcja, Annalisa [edt] Մատենաշար։ Studies in logic and the foundations of mathematics ; Vol. 112 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Amsterdam ; Oxford : North-Holland, 1984 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5988. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		The acquisition of symbolic skills / edited by Don Rogers and John A. Sloboda. NATO Conference on the Acquisition of Symbolic Skills (1982 : University of Keele) Rogers, Don [edt] Sloboda, John A [edt] North Atlantic Treaty Organization. Scientific Affairs Division Մատենաշար։ NATO conference series. III, Human factors ; ; v. 22 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Plenum Press, 1983 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 15 A-18. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic and structure / Dirk van Dalen. Dalen, Dirk van, 1932- Մատենաշար։ Universitext Հրատարակություն։ 2nd ed., corrected 2nd print. Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1983 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5865. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic, methodology, and philosophy of science VI : Proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 / Ed. by L. Jonathan Cohen ... et al. International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, Laurence Jonathan [edt] Մատենաշար։ Studies in logic and the foundations of mathematics ; Vol. 104 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Amsterdam ; New York ; Warszawa : North-Holland Publ. Co. : PWN--Polish Scientific Publishers : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1982 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5276. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic Symposia : Hakone, 1979, 1980 : Proceedings of Conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / Ed. by G.H. Muller, G. Takeuti, and T. Tugue. Logic Symposia (1979 : Hakone-machi, Japan) Muller, Gert Heinz, 1923- [edt] Takeuti, Gaisi, 1926- [edt] Tugue, Tosiyuki, 1926- [edt] Logic Symposia (1980 : Hakone-machi, Japan) Մատենաշար։ Lecture notes in mathematics (Springer-Verlag) ; 891. Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1981 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (2)Տեղաբաշխում, դասիչ։ Gulb/5625, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Elements of the theory of computation / by Harry R. Lewis. Lewis, Harry R Մատենաշար։ Prentice-Hall Software Series Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Englewood Cliffs, N.J. : Prentice Hall, 1981 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 511 LEW. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic and structure / Dirk van Dalen. Dalen, Dirk van, 1932- Մատենաշար։ Universitext Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1980 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5018. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Philosophy and logical syntax / By Rudolf Carnap. Carnap, Rudolf, 1891-1970 Մատենաշար։ Psyche miniatures : General series ; No. 70 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : AMS Press, 1979 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5239. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic for problem solving / Robert Kowalski.; Edit. Nils J. Nilsson. Kowalski, Robert Nilsson, Nils J [edt] Մատենաշար։ Artificial intelligence series \| The Computer science library Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Elsevier North Holland, 1979 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Engineering University Library (1)Տեղաբաշխում, դասիչ։ 519.7 K-79. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Introduction to mathematical logic / Elliott Mendelson. Mendelson, Elliott Հրատարակություն։ 2d ed. Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Van Nostrand, c1979 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 519 M-55. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Handbook of mathematical logic / Ed. by Jon Barwise; With the cooperation of H. J. Keisler ... et al. Barwise, Jon [edt] Keisler, H. Jerome [edt] Մատենաշար։ Studies in logic and the foundations of mathematics ; Vol. 90 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Amsterdam ; New York : North-Holland Publ. Co., 1977 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5319. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Mathematical logic / J. Donald Monk. Monk, James Donald, 1930- Մատենաշար։ Graduate Texts in Mathematics ; 37 Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Springer-Verlag, 1976 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/4185. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)

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

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

Հեղինակներ

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

Մատենաշար

Թեմաներ

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

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

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