ՀՀ Գիտությունների ազգային ակադեմիայի հիմնարար գիտական գրադարան = Fundamental Scientific Library of NAS RALogic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : Proceedings / Eds. : Nachum Dershowitz, Andrei Voronkov.
Material type:
TextLanguage: English Series: Lectures notes in computer science | Lecture notes in artificial intelligence ; 4790Publication details: New York : Springer, 2007.Edition: 1st edDescription: xiii, 562 p. : illISBN: - 3540755586
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Գրքեր / Books
|
Fundamental Scientific Library | General | И II/113655 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0022270 | ||||||||||||
|
Գրքեր / Books
|
Fundamental Scientific Library | General | И II/113812 (Browse shelf(Opens below)) | Available | 30 Days Loan | 320113812 |
Includes bibliogr. references and index.
There are no comments on this title.
Log in to your account to post a comment.
All site content, except where otherwise noted, is licensed under a