SACERDOTI COEN, CLAUDIO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) ||

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

Language:

english

File:

PDF, 14.14 MB

english, 2019

2

Mathematical Knowledge Management in HELM

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 190 KB

english, 2003

3

Lebesgue’s dominated convergence theorem in Bishop’s style

Claudio Sacerdoti Coen, Enrico Zoli

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 280 KB

english, 2012

4

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 5625 || Math Handwriting Recognition in Windows 7 and Its Benefits

Carette, Jacques, Dixon, Lucas, Coen, Claudio Sacerdoti, Watt, Stephen M.

Year:

2009

Language:

english

File:

PDF, 147 KB

english, 2009

5

Implementing type theory in higher order constraint logic programming

GUIDI, FERRUCCIO, SACERDOTI COEN, CLAUDIO, TASSI, ENRICO

Journal:

Mathematical Structures in Computer Science

Year:

2019

Language:

english

File:

PDF, 236 KB

english, 2019

6

Tinycals: Step by Step Tacticals

Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 419 KB

english, 2007

7

A User Interface for a Mathematical System that Allows Ambiguous Formulae

Claudio Sacerdoti Coen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 2.29 MB

english, 2009

8

User Interaction with the Matita Proof Assistant

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 1.02 MB

english, 2007

9

Declarative Representation of Proof Terms

Claudio Sacerdoti Coen

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 547 KB

english, 2010

10

Spurious Disambiguation Errors and How to Get Rid of Them

Claudio Sacerdoti Coen, Stefano Zacchiroli

Journal:

Mathematics in Computer Science

Year:

2008

Language:

english

File:

PDF, 2.21 MB

english, 2008

11

Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I

Claudio Sacerdoti Coen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 422 KB

english, 2007

12

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 5625 || ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System

Carette, Jacques, Dixon, Lucas, Coen, Claudio Sacerdoti, Watt, Stephen M.

Year:

2009

Language:

english

File:

PDF, 562 KB

english, 2009

13

Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover

Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 627 KB

english, 2012

14

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 5625 ||

Carette, Jacques, Dixon, Lucas, Coen, Claudio Sacerdoti, Watt, Stephen M.

Year:

2009

Language:

english

File:

PDF, 10.15 MB

english, 2009

15

Preface

Aspinall, David, Sacerdoti Coen, Claudio

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 105 KB

english, 2012

16

Formalising Overlap Algebras in Matita

SACERDOTI COEN, CLAUDIO, TASSI, ENRICO

Journal:

Mathematical Structures in Computer Science

Year:

2011

Language:

english

File:

PDF, 432 KB

english, 2011

17

[ACM Press the 13th conference - New York, NY, USA (2004.05.17-2004.05.20)] Proceedings of the 13th conference on World Wide Web - WWW '04 - Schemapath, a minimal extension to xml schema for conditional constraints

Coen, Claudio Sacerdoti, Marinelli, Paolo, Vitali, Fabio

Year:

2004

Language:

english

File:

PDF, 194 KB

english, 2004

18

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - On the Relative Usefulness of Fireballs

Accattoli, Beniamino, Coen, Claudio Sacerdoti

Year:

2015

Language:

english

File:

PDF, 339 KB

english, 2015

19

A Survey on Retrieval of Mathematical Knowledge

Guidi, Ferruccio, Sacerdoti Coen, Claudio

Journal:

Mathematics in Computer Science

Year:

2016

Language:

english

File:

PDF, 938 KB

english, 2016

20

On the Value of Variables

Accattoli, Beniamino, Sacerdoti Coen, Claudio

Journal:

Information and Computation

Year:

2017

Language:

english

File:

PDF, 397 KB

english, 2017

21

[ACM Press the Eleventh Workshop - Porto, Portugal (2016.06.23-2016.06.23)] Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '16 - Implementing HOL in an Higher Order Logic Programming Language

Dunchev, Cvetan, Coen, Claudio Sacerdoti, Tassi, Enrico

Year:

2016

Language:

english

File:

PDF, 255 KB

english, 2016

22

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Inspection and Selection of Representations

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

Language:

english

File:

PDF, 396 KB

english, 2019

23

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Lemma Discovery for Induction

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

Language:

english

File:

PDF, 311 KB

english, 2019

24

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Beginners’ Quest to Formalize Mathematics: A Feasibility Study in Isabelle

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

Language:

english

File:

PDF, 285 KB

english, 2019

25

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Variadic Equational Matching

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

Language:

english

File:

PDF, 305 KB

english, 2019

26

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

Language:

english

File:

PDF, 696 KB

english, 2019

27

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Integrating Semantic Mathematical Documents and Dynamic Notebooks

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

Language:

english

File:

PDF, 2.05 MB

english, 2019

28

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Explorations into the Use of Word Embedding in Math Search and Math Semantics

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

Language:

english

File:

PDF, 275 KB

english, 2019

29

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || A Tale of Two Set Theories

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

Language:

english

File:

PDF, 432 KB

english, 2019

30

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Inspection and Selection of Representations

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

File:

PDF, 396 KB

2019

31

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Lemma Discovery for Induction

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

File:

PDF, 311 KB

2019

32

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Beginners’ Quest to Formalize Mathematics: A Feasibility Study in Isabelle

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

File:

PDF, 285 KB

2019

33

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Variadic Equational Matching

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

File:

PDF, 305 KB

2019

34

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation

Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, Claudio

Year:

2019

File:

PDF, 696 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски