Penulis: Nikolaj Bjorner

This bookconstitutes the proceedings of the 12th International Conference on Distributed Computing and Internet Technology, ICDCIT 2016, held in Bhubaneswar, India, in January 2016. The 6 fullpapers, …

This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. The 28 revised full papers and 7 sys …

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 …

This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.The 18 full papers and 3 short pa …