Autexier / Calmet / Delahaye | Intelligent Computer Mathematics | E-Book | www.sack.de
E-Book

E-Book, Englisch, 471 Seiten, Web PDF

Reihe: Lecture Notes in Computer Science

Autexier / Calmet / Delahaye Intelligent Computer Mathematics

10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
Erscheinungsjahr 2010
ISBN: 978-3-642-14128-7
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

E-Book, Englisch, 471 Seiten, Web PDF

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-642-14128-7
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Autexier / Calmet / Delahaye Intelligent Computer Mathematics jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Autexier, Serge
Calmet, Jacques
Delahaye, David
Ion, P.D.F.
Rideau, Laurence
Rioboo, Renaud
Sexton, Alan

Weitere Infos & Material

Contributions to AISC 2010.- The Challenges of Multivalued “Functions”.- The Dynamic Dictionary of Mathematical Functions.- A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence.- I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness.- Structured Formal Development with Quotient Types in Isabelle/HOL.- Instantiation of SMT Problems Modulo Integers.- On Krawtchouk Transforms.- A Mathematical Model of the Competition between Acquired Immunity and Virus.- Some Notes upon “When Does

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.