Visions of CS April

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

Sujets

• École polytechnique

Informations

• Publié par: chaeh
• Nombre de lectures: 21
• Langue: English

Extrait

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