Mathematical Foundations of Computer Science 1991
Subtitle: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings (Lecture Notes in Computer Science)
Publisher: Not Avail
Published: September 1991
Language: eng
Format: Paperback
Number of pages: 435
ISBN-13: 9783540543459
Subjects: Mathematical theory of computation; Parallel processing; Software engineering; Programming Languages - General; Computers - General Information; Computer Science; Programming - Software Development
First sentence: Plotkin [36] proposed a formal model for inductive inference which was based upon Pop-plestone's suggestion that Since unification is useful in automatic deduction, its dual might prove helpful for induction.