Visions of CS April
24 Pages
English
Gain access to the library to view online
Learn more

Visions of CS April

Gain access to the library to view online
Learn more
24 Pages
English

Description

Niveau: Supérieur
Visions of CS, 14 April 2010 1/24 Finding Unity in Computational Logic Dale Miller Parsifal team INRIA - Saclay & LIX, Ecole Polytechnique Palaiseau, France

  • capture universal

  • computational logic

  • computation oriented

  • strong foundations

  • answered simply

  • leibniz hoped

  • inferences per

  • simplest problems

  • universal methods


Subjects

Informations

Published by
Reads 21
Language English

Exrait

Visions of CS, 14 April 2010
Finding Unity in Computational Logic
Dale Miller Parsifal team INRIA - Saclay & LIX, Ecole Polytechnique Palaiseau, France
1/24
of
CS,
14
April
2010
2/24