Logic for Programming, Aritficial Intelligence, and Reasoning [E-Book] / 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings  

Hermann, Miki
2006

Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /  

Dershowitz, Nachum
2007

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings [E-Book] /  

Baaz, Matthias
2002

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) / 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings [E-Book] /  

Baader, Franz
2005

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) [E-Book] / 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedin...  

Sutcliffe, Geoff
2005

Perspectives of Systems Informatics [E-Book] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /  

Virbitskaite, Irina
2007

Perspectives of Systems Informatics [E-Book] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /  

Pnueli, Amir
2010