Εμφανίζονται 1 - 20 Αποτελέσματα από 30 για την αναζήτηση 'Voronkov, Andrei', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 1
    Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
    Έκδοση 2008
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
    ανά FermΓΌller, Christian G
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 4
    Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 5
    Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /
    Έκδοση 2000
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
    Έκδοση 2001
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
    Έκδοση 2003
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    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 /
    Έκδοση 2016
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
    Έκδοση 2015
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /
    Έκδοση 2005
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Programming Logics Essays in Memory of Harald Ganzinger /
    Έκδοση 2013
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings /
    Έκδοση 2006
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
    Έκδοση 2005
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
    ανά Pnueli, Amir
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 19
    Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /
    Έκδοση 2018
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Voronkov, Andrei…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email