ՀՀ Գիտությունների ազգային ակադեմիայի հիմնարար գիտական գրադարան  =   Fundamental Scientific Library of NAS RA

Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
The journal of logic and algebraic programming
Material type: Continuing resource Continuing resource; Type of continuing resource: periodical
Language: English
Publication details: Amsterdam : Elsevier.
Online resources:
Availability: Items available for loan: Fundamental Scientific Library (15)Call number: ИЖ 3668, ...

Place hold Save to lists Add to cart
2.
Journal of logic and computation
Material type: Continuing resource Continuing resource; Type of continuing resource: periodical
Language: English
Publication details: Oxford : Oxford University Press, 1990-
Online resources:
Availability: Items available for loan: Fundamental Scientific Library (4)Call number: ИЖ 3774, ...

Place hold Save to lists Add to cart
3.
Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : Proceedings / Eds. : Nachum Dershowitz, Andrei Voronkov. by Series: Lectures notes in computer science | Lecture notes in artificial intelligence ; 4790
Edition: 1st ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Springer, 2007
Availability: Items available for loan: Fundamental Scientific Library (2)Call number: И II/113655, ...

Place hold Save to lists Add to cart
4.
Logic programming, functions, relations, and equations / [Ed. by] Doug DeGroot, Gary Lindstrom. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1986
Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/6577.

Place hold Save to lists Add to cart


ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License