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

Արդյունքներ
		Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : Proceedings / Eds. : Nachum Dershowitz, Andrei Voronkov. LPAR 2007 (2007 : Yerevan, Armenia) Dershowitz, Nachum [edt] Voronkov, Andrei, 1959- [edt] Մատենաշար։ Lectures notes in computer science \| Lecture notes in artificial intelligence ; 4790 Հրատարակություն։ 1st ed. Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Springer, 2007 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (2)Տեղաբաշխում, դասիչ։ И II/113655, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		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. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		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. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Journal of logic and computation Նյութի տեսակ։ Շարունակական պաշար; Շարունակական պաշարի տեսակը: պարբերական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Oxford : Oxford University Press, 1990- Առցանց պաշարներ։ Սեղմիր այստեղ առցանց մուտքի համար Սեղմիր այստեղ առցանց մուտքի համար Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (4)Տեղաբաշխում, դասիչ։ ИЖ 3774, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic-based knowledge represantation / by Peter Jackson, Han Reichgelt, Frank van Harmelen. Jackson, Peter Reichgelt, Han Van Harmelen, Frank Մատենաշար։ MIT Press Series in Logic Programming Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, Mass. : The MIT Press, 1989 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 006.3 JAC. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Constraint satisfaction in logic programming / by Pascal Van Hentenryck. Van Hentenryck, Pascal Մատենաշար։ Logic Programming Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, Mass. : The MIT Press, 1989 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 006.3 VAN. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		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. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Natural language understanding / by James Allen. Allen, James Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Menlo Park, Calif. : Benjamin/Cummings, 1987 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 005.13 ALL. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		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 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. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ The journal of logic and algebraic programming Նյութի տեսակ։ Շարունակական պաշար; Շարունակական պաշարի տեսակը: պարբերական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Amsterdam : Elsevier. Առցանց պաշարներ։ Սեղմիր այստեղ առցանց մուտքի համար Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (15)Տեղաբաշխում, դասիչ։ ИЖ 3668, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)

Հայաստանի ազգային գրադարան ՀՀ, 0009,Երևան, Տերյան 72 Հետադարձ կապ

Ուղեկցվում է Կոհա