7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science) (v. 170) (by R. E. Shostak)


Author(s): R. E. Shostak

Publisher: Springer
Publish date: 1984-05-18
ISBN-10: 0387960228
ISBN-13: 9780387960227
Language: English
Description: The Seventh International Conference on Automated Deduction was
held May 14-16, 19S4, in Napa, California. The conference is the
primary forum for reporting research in all aspects of automated
deduction, including the design, implementation, and applications
of theorem-proving systems, knowledge representation and retrieval,
program verification, logic programming, formal specification,
program synthesis, and related areas. The presented papers include
27 selected by the program committee, an invited keynote address by
Jorg Siekmann, and an invited banquet address by Patrick Suppes.
Contributions were presented by authors from Canada, France,… more…

Read Source: 7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science) (v. 170) (by R. E. Shostak)»

Leave a Reply

Your email address will not be published.