Automated Reasoning and Mathematics / Lecture Notes in Computer Science Bd.7788 (PDF)
Essays in Memory of William W. McCune
(Sprache: Englisch)
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...
The volume includes 13 full...
sofort als Download lieferbar
Printausgabe 49.22 €
eBook (pdf) -2%
48.14 €
24 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Automated Reasoning and Mathematics / Lecture Notes in Computer Science Bd.7788 (PDF)“
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.
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.
Bibliographische Angaben
- 2013, 2013, 259 Seiten, Englisch
- Herausgegeben: Maria Paola Bonacina, Mark E. Stickel
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642366759
- ISBN-13: 9783642366758
- Erscheinungsdatum: 28.02.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 4.16 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Automated Reasoning and Mathematics / Lecture Notes in Computer Science Bd.7788"
0 Gebrauchte Artikel zu „Automated Reasoning and Mathematics / Lecture Notes in Computer Science Bd.7788“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Automated Reasoning and Mathematics / Lecture Notes in Computer Science Bd.7788".
Kommentar verfassen