Publisher: Springer; 1994 edition (June 13, 2008)
Format: PDF / Kindle / ePub
Size: 6.8 MB
Downloadable formats: PDF
This quantity provides the refereed papers approved for the overseas symposium Logical Foundations of machine technological know-how '94, common sense at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was once the 3rd in a chain of joint efforts of logicians from either the previous Soviet Union and the West.The quantity displays that the interplay of good judgment and laptop technological know-how is a particularly fertile floor for interdisciplinary paintings delivering mutual figuring out and advantages. the definitely 35 papers are dedicated to themes as linear good judgment, Horn clauses, model-checking, lambda-calculi, modal good judgment, and challenge complexity.