Colog-88: International Conference on Computer Logic, Tallinn, Ussr, December 12-16, 1988, Proceedings

By Per Martin-Lvf

This proceedings volume contains invited papers and selected contributions on computer logic, providing access to intensive work in this field both in the USSR and in Western countries.

• Format: Paperback
• Language: English
• ISBN: 3540523359
• ISBN13: 9783540523352
• Release Date: February 1990
• Publisher: Springer
• Length: 339 Pages
• Weight: 1.09 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"