Logic 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
| Item type | Current library | Collection | Call number | Status | Notes | Barcode | |
|---|---|---|---|---|---|---|---|
|
|
Fundamental Scientific Library | General | И II/113655 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0022270 | |
|
|
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.
ՀՀ Գիտությունների ազգային ակադեմիայի հիմնարար գիտական գրադարան = Fundamental Scientific Library of NAS RA
All site content, except where otherwise noted, is licensed under a