39 results
Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 3 / May 2017
- Published online by Cambridge University Press:
- 17 March 2017, pp. 353-358
-
- Article
- Export citation
Logic: A Brief Course by Daniele Mundici, Springer, 2012. Paperback, ISBN 978-88-470-2360-4, xi + 124 pp.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 3 / May 2012
- Published online by Cambridge University Press:
- 23 May 2012, pp. 417-419
-
- Article
- Export citation
Contents
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp v-vii
-
- Chapter
- Export citation
List of contributors
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp viii-viii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp i-iv
-
- Chapter
- Export citation
1 - A Primer on Strategic Games
-
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp 1-37
-
- Chapter
- Export citation
Lectures in Game Theory for Computer Scientists
-
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011
Preface
-
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp ix-xii
-
- Chapter
- Export citation
Index
-
- Book:
- Lectures in Game Theory for Computer Scientists
- Published online:
- 01 June 2011
- Print publication:
- 06 January 2011, pp 291-295
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp i-iv
-
- Chapter
- Export citation
8 - Top-down search with passive constraints
- from Part III - Programming with passive constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 133-154
-
- Chapter
- Export citation
6 - Constraint programming: a primer
- from Part III - Programming with passive constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 89-109
-
- Chapter
- Export citation
10 - Constraint propagation in ECLipse
- from Part IV - Programming with active constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 185-204
-
- Chapter
- Export citation
Contents
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp v-viii
-
- Chapter
- Export citation
Solutions to selected exercises
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 305-319
-
- Chapter
- Export citation
Introduction
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp ix-xvi
-
- Chapter
- Export citation
Part I - Logic programming paradigm
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 1-2
-
- Chapter
- Export citation
13 - Constraints on reals
- from Part IV - Programming with active constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 256-277
-
- Chapter
- Export citation
14 - Linear constraints over continuous and integer variables
- from Part IV - Programming with active constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 278-304
-
- Chapter
- Export citation
Part III - Programming with passive constraints
-
- Book:
- Constraint Logic Programming using Eclipse
- Published online:
- 23 November 2009
- Print publication:
- 21 December 2006, pp 87-88
-
- Chapter
- Export citation