Functional Programming, Concurrency, Simulation and Automated Reasoning
Subtitle: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontari (Lecture Notes in Computer Science)
Publisher: Springer
Published: July 1993
Language: eng
Format: Paperback
Number of pages: 398
ISBN-13: 9783540568834
Subjects: Artificial intelligence; Computer Programming; Mathematical theory of computation; Logic Design; Programming - Software Development; Programming Languages - General; Computers - Languages / Programming; Automatic theorem proving; Computer simulation
First sentence: The aim of this paper is not to add to the existing controversy about some of the issues discussed but to suggest a systematic approach to clarifying the issues, and to encourage others with similar concerns to help resolve some of the issues in the future.