1
Andrei Voronkov의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 20 (Paperback)
  • Ken McMillan, Andrei Voronkov, Aart Middeldorp (엮은이)
  • Springer Nature B.V. | 2013년 12월
  • 66,580원 (10% 할인 / 3,330원)
  • 택배로 주문하면 2025년 1월 14일 출고 변경
  • Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Paperback, 1993)
  • Andrei Voronkov (엮은이), A. Voronkov
  • Springer | 1993년 06월
  • 84,420원 (18% 할인 / 4,230원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Lo (Paperback, 1992)
  • Andrei Voronkov
  • Springer Verlag | 1992년 05월
  • 78,900원 (18% 할인 / 3,950원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Pro (Paperback)
  • Andrei Voronkov, Christian G. Fermuller (엮은이)
  • Springer | 2010년 09월
  • 168,870원 (18% 할인 / 8,450원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Rewriting Techniques and Applications: 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings (Paperback)
  • Andrei Voronkov (엮은이)
  • Springer-Verlag New York Inc | 2008년 07월
  • 78,900원 (18% 할인 / 3,950원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Perspectives of System Informatics: 9th International Ershov Informatics Conference, Psi 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selec (Paperback, 2015)
  • Andrei Voronkov, Irina Virbitskaite (엮은이)
  • Springer | 2015년 04월
  • 78,900원 (18% 할인 / 3,950원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Paperback, 1992)
  • Andrei Voronkov
  • Springer Verlag | 1992년 07월
  • 78,900원 (18% 할인 / 3,950원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Programming Logics: Essays in Memory of Harald Ganzinger (Paperback, 2013) - Essays in Memory of Harald Ganzinger
  • Andrei Voronkov, Christoph Weidenbach (엮은이)
  • Springer Verlag | 2013년 04월
  • 78,900원 (18% 할인 / 3,950원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Paperback, 2002)
  • Andrei Voronkov (엮은이)
  • Springer Verlag | 2002년 07월
  • 84,420원 (18% 할인 / 4,230원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Logic for Programming and Automated Reasoning: 7th International Conference, Lpar 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Paperback, 2000)
  • Andrei Voronkov, Michel Parigot (엮은이)
  • Springer Verlag | 2000년 10월
  • 78,900원 (18% 할인 / 3,950원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Logic Programming and Automated Reasoning (Paperback) - International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings
  • Andrei Voronkov (엮은이)
  • Springer Verlag | 1992년 07월
  • 148,660원 (18% 할인 / 7,440원)
  • 택배로 주문하면 2025년 1월 13일 출고 변경
  • Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Procee (Paperback)
  • Nachum Dershowitz, Andrei Voronkov (엮은이)
  • Springer-Verlag New York Inc | 2007년 10월
  • 78,900원 (18% 할인 / 3,950원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised S (Paperback)
  • Andrei Voronkov, K. Alexander (엮은이)
  • Springer Nature B.V. | 2018년 01월
  • 66,580원 (10% 할인 / 3,330원)
  • 택배로 주문하면 2025년 1월 14일 출고 변경
  • Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Psi 2015, in Memory of Helmut Veith, Kazan and Innopolis, (Paperback, 2016)
  • Andrei Voronkov, Manuel Mazzara (엮은이)
  • Springer International Publishing AG | 2016년 06월
  • 78,900원 (18% 할인 / 3,950원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedin (Paperback)
  • Andrei Voronkov, Nikolaj Bj?ner (엮은이)
  • Springer-Verlag New York Inc | 2012년 02월
  • 78,900원 (18% 할인 / 3,950원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, Lpar 2004, Montevideo, Uruguay, March 14-18, 2005, Proceed (Paperback, 2005)
  • Franz Baader, Andrei Voronkov (엮은이)
  • Springer-Verlag New York Inc | 2005년 03월
  • 168,870원 (18% 할인 / 8,450원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, Psi 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Pap (Paperback, 2007)
  • Andrei Voronkov, Irina Virbitskaite (엮은이)
  • Springer-Verlag New York Inc | 2007년 02월
  • 78,900원 (18% 할인 / 3,950원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, Lpar 2005, Montego Bay, Jamaica, December 2-6, 2005, Pro (Paperback, 2005)
  • Andrei Voronkov, Geoff Sutcliffe (엮은이)
  • Springer-Verlag New York Inc | 2005년 11월
  • 157,830원 (18% 할인 / 7,900원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001, Proceedings (Paperback, 2001)
  • Andrei Voronkov, Robert Nieuwenhuis (엮은이)
  • Springer Verlag | 2001년 11월
  • 157,830원 (18% 할인 / 7,900원)
  • 택배로 주문하면 2025년 1월 21일 출고 변경
  • Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis (Paperback)
  • Andrei Voronkov, Manuel Mazzara (엮은이)
  • Springer Nature B.V. | 2016년 07월
  • 66,580원 (10% 할인 / 3,330원)
  • 택배로 주문하면 2025년 1월 14일 출고 변경

검색결과에 만족하시나요?

뒤로가기
위로가기