Proofs and Algorithms - Undergraduate Topics in Computer Science
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer London

9780857291202, 9780857291219

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Epilogue

Proofs and Algorithms - Undergraduate Topics in Computer Science ◽

10.1007/978-0-85729-121-9_9 ◽

2011 ◽

pp. 149-150

Author(s):

Gilles Dowek

Download Full-text

Constructivity

Proofs and Algorithms - Undergraduate Topics in Computer Science ◽

10.1007/978-0-85729-121-9_8 ◽

2011 ◽

pp. 143-148

Author(s):

Gilles Dowek

Download Full-text

Computation as a Sequence of Small Steps

Proofs and Algorithms - Undergraduate Topics in Computer Science ◽

10.1007/978-0-85729-121-9_4 ◽

2011 ◽

pp. 71-98

Author(s):

Gilles Dowek

Download Full-text

Computable Functions

Proofs and Algorithms - Undergraduate Topics in Computer Science ◽

10.1007/978-0-85729-121-9_3 ◽

2011 ◽

pp. 55-70

Author(s):

Gilles Dowek

Keyword(s):

Computable Functions

Download Full-text

Decidable Theories

Proofs and Algorithms - Undergraduate Topics in Computer Science ◽

10.1007/978-0-85729-121-9_7 ◽

2011 ◽

pp. 139-142

Author(s):

Gilles Dowek

Keyword(s):

Decidable Theories

Download Full-text

Models

Proofs and Algorithms - Undergraduate Topics in Computer Science ◽

10.1007/978-0-85729-121-9_2 ◽

2011 ◽

pp. 35-52

Author(s):

Gilles Dowek

Download Full-text

Church’s Theorem

Proofs and Algorithms - Undergraduate Topics in Computer Science ◽

10.1007/978-0-85729-121-9_5 ◽

2011 ◽

pp. 101-115

Author(s):

Gilles Dowek

Download Full-text

Predicate Logic

Proofs and Algorithms - Undergraduate Topics in Computer Science ◽

10.1007/978-0-85729-121-9_1 ◽

2011 ◽

pp. 3-34

Author(s):

Gilles Dowek

Keyword(s):

Predicate Logic

Download Full-text

Automated Theorem Proving

Proofs and Algorithms - Undergraduate Topics in Computer Science ◽

10.1007/978-0-85729-121-9_6 ◽

2011 ◽

pp. 117-138

Author(s):

Gilles Dowek

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving

Download Full-text