Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings Voronkov Andrei Heftet / 2008 / Engelsk
Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings Voronkov Andrei Heftet / 2002 / Engelsk
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers Voronkov Andrei Heftet / 2007 / Engelsk
Logic Programming First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings Voronkov Andrei Heftet / 1992 / Engelsk
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers Voronkov Andrei Heftet / 2015 / Engelsk
Logic Programming and Automated Reasoning 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings Voronkov Andrei Heftet / 1993 / Engelsk
Logic Programming and Automated Reasoning International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings Voronkov Andrei Heftet / 1992 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings Vardi Moshe Heftet / 2003 / Engelsk
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers Mazzara Manuel Heftet / 2016 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings Baader Franz Heftet / 2005 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings Hermann Miki Heftet / 2006 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings Nieuwenhuis Robert Heftet / 2001 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings Dershowitz Nachum Heftet / 2007 / Engelsk
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers Clarke, Edmund Heftet / 2012 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings Bjørner, Nikolaj Heftet / 2012 / Engelsk
Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings Parigot Michel Heftet / 2000 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings Baaz Matthias Heftet / 2002 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings Sutcliffe Geoff Heftet / 2005 / Engelsk
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers Pnueli Amir Heftet / 2010 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings Fermüller, Christian G. Heftet / 2010 / Engelsk
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers Petrenko, Alexander K. Heftet / 2018 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers Clarke Edmund M. Heftet / 2011 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings Cervesato Iliano Heftet / 2008 / Engelsk
Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings Ganzinger Harald Heftet / 1999 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings McMillan Ken Heftet / 2013 / Engelsk
Computer Science - Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings Diekert Volker Heftet / 2007 / Engelsk
Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers Bjørner, Nikolaj Heftet / 2019 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings Davis Martin Heftet / 2015 / Engelsk
Transactions and Change in Logic Databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso Freitag Burkhard Heftet / 1998 / Engelsk
