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

Արդյունքներ
		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, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee. Chang, Chin-Liang Lee, Richard Char-Tung Մատենաշար։ Computer Science and Applied Mathematics Նյութի տեսակ։ Տեքստ Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Academic Press, 1973 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 164 C-45. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)

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

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