Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings /

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Nikolaj Bjørner, Andrei Voronkov (edición)
פורמט: ספר
שפה:אנגלית
יצא לאור: Berlín, Alemania : Springer, 2012, c2012
סדרה:(Lecture Notes in Computer Science)
גישה מקוונת:Ver documento en línea
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!