Produktnummer:
18d574775f9881462fbd84642f7bc1d070
| Themengebiete: | SAT algebra artificial intelligence logics theorem proving |
|---|---|
| Veröffentlichungsdatum: | 19.03.2013 |
| EAN: | 9783642366741 |
| Sprache: | Englisch |
| Seitenzahl: | 259 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bonacina, Maria Paola Stickel, Mark E. |
| Verlag: | Springer Berlin |
| Untertitel: | Essays in Memory of William W. McCune |
Produktinformationen "Automated Reasoning and Mathematics"
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 aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen