Interactive theorem proving : :: SCD d'Orléans

Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully review...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Autore principale:	Blazy, Sandrine, 19..-...., informaticienne
Altri autori:	Paulin-Mohring, Christine (Direttore editoriale), Pichardie, David (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin, Heidelberg : Springer Berlin Heidelberg 2013. Cham : Springer Nature
Serie:	Theoretical Computer Science and General Issues 7998
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) 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:	• Interactive Theorem Proving, Texte imprimé, 9783642396335 • Interactive Theorem Proving, Texte imprimé, 9783642396359

Documenti analoghi

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

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : 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 : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

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

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

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 : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
di: Slind, Konrad

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

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-

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-

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

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

Reading, Writing, and Proving : A Closer Look at Mathematics
di: Daepp, Ulrich, 1948-, et al.

Proof and Proving in Mathematics Education
Pubblicazione: (2021)

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

Human-computer interaction : interaction modalities and techniques : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, proceedings
di: Kurosu, Masaaki
Pubblicazione: (2013)

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

Human-computer interaction : towards intelligent and implicit interaction : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, proceedings
di: Kurosu, Masaaki
Pubblicazione: (2013)

Human-Computer interaction : applications and services : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, proceedings
di: Kurosu, Masaaki
Pubblicazione: (2013)

Human-computer interaction : users and contexts of use : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, proceedings
di: Kurosu, Masaaki
Pubblicazione: (2013)

Distributed, ambient, and pervasive interactions : First International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013 : proceedings
di: Streitz, Norbert A., 19..-
Pubblicazione: (2013)

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

Human-computer interaction : human-centred design approaches, methods, tools, and environments : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, proceedings
di: Kurosu, Masaaki
Pubblicazione: (2013)

Interactive storytelling : 6th International Conference, ICIDS 2013, Istanbul, Turkey, November 6-9, 2013, Proceedings
di: Koenitz, Hartmut
Pubblicazione: (2013)

Universal access in human-computer interaction : user and context diversity : 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, proceedings
di: Stephanidis, Constantine
Pubblicazione: (2013)

Universal access in human-computer interaction : design methods, tools, and interaction techniques for inclusion : 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, proceedings
di: Stephanidis, Constantine
Pubblicazione: (2013)

Universal access in human-computer interaction : applications and services for quality of life : 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, proceedings
di: Stephanidis, Constantine
Pubblicazione: (2013)

Théorème
di: Pasolini, Pier Paolo, 1922-1975
Pubblicazione: (1988)

Théorème
di: Pasolini, Pier Paolo, 1922-1975
Pubblicazione: (1978)

Théorème.

Théorème
di: Hocquard, Emmanuel
Pubblicazione: (2008)

Logic, rationality, and interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, proceedings
di: Grossi, Davide
Pubblicazione: (2013)

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

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

Human-Computer Interaction INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III
di: Kotzé, Paula
Pubblicazione: (2013)

Human-Computer Interaction INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II
di: Kotzé, Paula
Pubblicazione: (2013)

© 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