Reading, Writing, and Proving : :: SCD d'Orléans

Reading, Writing, and Proving : A Closer Look at Mathematics

Reading, Writing, and Proving : A Closer Look at Mathematics

Salvato in:

Dettagli Bibliografici
Autori principali:	Daepp, Ulrich, 1948-, Gorkin, Pamela, 19..- (Autore)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Reading, Writing, and Proving, A Closer Look at Mathematics

Documenti analoghi

Reading, writing, and proving : a closer look at mathematics
di: Daepp, Ulrich, 1948-, et al.

Proof and Proving in Mathematics Education
Pubblicazione: (2021)

Automated Theorem Proving : Theory and Practice
di: Newborn, Monty, 1938-

Reading & writing.
Pubblicazione: (2002)

Reading and Writing.

Close Readings
di: Kunze, Rolf-Ulrich
Pubblicazione: (2022)

Using sophisticated models in resolution theorem proving
di: Sandford, David M., 19..-

Reading Writing Right
Pubblicazione: (2023)

Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
di: Blazy, Sandrine, 19..-...., informaticienne
Pubblicazione: (2013)

Writing and reading across the curriculum
di: Behrens, Laurence, et al.
Pubblicazione: (1997)

Writing, preserving and reading History
Pubblicazione: (2026)

Writing, Preserving And Reading History : Palaeography and Diplomatics
di: Pereira Ferreira, Ana, et al.
Pubblicazione: (2025)

Reading & Writing Global Hong Kong
Pubblicazione: (2024)

Reading comprehension components and their relation to writing
di: Allen, Laura K., et al.
Pubblicazione: (2014)

Reading/writing as tangle: metafiction as motion
di: Olsen, Lance
Pubblicazione: (2019)

An International Proving Ground : Latin American Artists at the Paris Salons
di: Greet, Michele
Pubblicazione: (2017)

Rethinking the Atrocities Act: Proving Prejudice and Interpreting Evidence in Rajasthan
di: Fuchs, Sandhya
Pubblicazione: (2022)

Uncreative Writing, Close Reading ? À propos de Vanessa Place et Kenneth Goldsmith
di: Murat, Michel
Pubblicazione: (2018)

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

Close Readings : Kulturgeschichtliche Interpretationen zu Bildern der wissenschaftlich-technischen Zivilisation
di: Kunze, Rolf-Ulrich, 1968-
Pubblicazione: (2019)

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20 23, 2002 Proceedings

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 6, 2001 : proceedings

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
di: Slind, Konrad

Reading inscriptions and writing ancient history : historical scholarship in the late Renaissance
di: Stenhouse, William
Pubblicazione: (2005)

Literature and devices: writing and reading in a digital world
di: Gervais, Bertrand, et al.
Pubblicazione: (2022)

Proving illicit enrichment using financial investigation and Source and Application of Funds analysis
di: Dornbierer, Andrew
Pubblicazione: (2023)

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
di: Miglioli, Pierangelo, 1946-

“The Voices of the Pages”: Contributions to the Question of Oral Reading and Writing
di: Balogh, József
Pubblicazione: (2024)

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
di: Baumgartner, Peter, 1953-

Higher order logic theorem proving and its application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

Close Reading with Computers
di: Eve, Martin Paul
Pubblicazione: (2021)

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

The Writing of the Lagoon Stories
di: Gordon, Pamela
Pubblicazione: (2022)

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Reading New Testament Writings through Non-supersessionist Lenses
di: Korner, Ralph J.
Pubblicazione: (2026)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales