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...
Uloženo v:
Další autoři: | |
---|---|
Korporace: | |
Médium: | E-kniha |
Jazyk: | angličtina |
Vydáno: |
Heidelberg ; Dordrecht ; London ; New York :
Springer,
2013
|
Edice: | Lecture notes in computer science
|
Žánr/forma: | elektronické knihy eseje |
ISBN: | 978-3-642-36675-8 978-3-642-36674-1 |
Témata: | |
On-line přístup: | Plný text |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|