Cover Image

Automated Reasoning and Mathematics Essays in Memory of William W. McCune /

This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer. The volume includes 13 full papers, which are presenting research in all a...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Bonacina, Maria Paola. (Editor, http://id.loc.gov/vocabulary/relators/edt), Stickel, Mark E. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Series:Lecture Notes in Artificial Intelligence ; 7788
Subjects:
Artificial intelligence.
Mathematical logic.
Computer logic.
Computer science—Mathematics.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Math Applications in Computer Science.
Online Access:https://doi.org/10.1007/978-3-642-36675-8

Internet

https://doi.org/10.1007/978-3-642-36675-8

Similar Items