Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov.

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and...

وصف كامل

محفوظ في:

التفاصيل البيبلوغرافية
مؤلف مشترك:	SpringerLink (Online service)
مؤلفون آخرون:	Bjørner, Nikolaj (المحرر), Voronkov, Andrei (المحرر)
التنسيق:	كتاب الكتروني
اللغة:	English
منشور في:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
الطبعة:	1st ed. 2012.
سلاسل:	Theoretical Computer Science and General Issues ; 7180 Springer eBook Collection.
الموضوعات:	Software engineering. Artificial intelligence. Computer logic. Mathematical logic. Computer programming. Programming languages (Electronic computers). Electronic resources (E-books)
الوصول للمادة أونلاين:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

تسجيل الدخول لمعلومات الحجز والاستدعاء

الانترنت

Click to view e-book

Online

تفاصيل المقتنيات من Online
رقم الاستدعاء:	E-Book
Copy 1	متاح

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov.

الانترنت

Online

مواد مشابهة