Sessione

Caricamento sessione

Sessione

OtiumBookshelf

Otium Bookshelf prende il nome dal tempo sottratto al rumore: quello che dedichi ai libri, agli appunti, alla memoria personale e alle relazioni tra lettori.

I tuoi dati non si vendono, nemmeno aggregati; non addestrano modelli di intelligenza artificiale; li porti via quando vuoi.

Prodotto

Home
Perche Otium
Come funziona
Blog

Community

Top Lettori
Community
Che cos'è Otium Bookshelf
Press
Aiuto
Contatto

Legale

Privacy
Termini
Cookie

Il tempo dedicato a ciò che conta davvero.

Copertine da Open Library

Sessione

Caricamento sessione

Gilles Dowek

Autori›Gilles Dowek

Gilles Dowek

1966 – 2025

Gilles Dowek was a French computer scientist and logician.

Fonte Wikipedia (si apre in una nuova scheda) · licenza CC BY-SA 4.0

Opere: 19
Edizioni: 30
Lingue: 3

Pubblicato in Inglese · Francese · Spagnolo

Accedi per seguire

Per saperne di più: Wikipedia (si apre in una nuova scheda)

I libri più noti

Tutti i libri di Gilles Dowek

Computation, proof, machine
2015
Le temps des algorithmes
2019
Theorem proving in higher order logics
2003
Rewriting and Typed Lambda Calculi

2014

Proofs and Algorithms

2011

Principles of programming languages

2009

La Logica

2015

Age of Algorithms

2020

Voulez-vous jouer avec les maths ?

2002

Quand la science a dit c'est impossible

1999

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages

2016

Pourquoi moi ?

2021

Podemos Creer En Los Sondeos? (Las Manzanas Del Saber)

2006

Peut-on croire les sondages?

2002

Les métamorphoses du calcul

2011

Les me tamorphoses du calcul

2007

La logique

1995

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

2010