Menu

Krzysztof R. Apt

8 published titles

Logic programming : proceedings of the joint international conference and symposium on logic programming

(Contributor)

1 edition

  • ISBN: 0262510642
  • MIT
  • 1992
  • Details

Meta-logics and logic programming

(Contributor)

1 edition

  • ISBN: 0262011522
  • MIT Press
  • 1995
  • Details

From logic programming to Prolog

1 edition

  • ISBN: 013230368X
  • Prentice Hall
  • 1997
  • Details

Principles of constraint programming

1 edition

  • ISBN: 0521825830
  • Cambridge University Press
  • 2003
  • Details

Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003 : Budapest, Hungary, June/July 2003 : selected papers

(Contributor)

1 edition

  • ISBN: 3540218343
  • Springer
  • 2004
  • Details

Constraint logic programming using ECLiPSe

1 edition

  • ISBN: 9780521866286
  • Cambridge University Press
  • 2007
  • Details

Verification of sequential and concurrent programs

1 edition

  • ISBN: 9781848827455
  • Springer
  • 2009
  • Details

Lectures in game theory for computer scientists

(Contributor)

1 edition

  • ISBN: 9780521198660
  • Cambridge University Press
  • 2011
  • Details

obnb.uk is a Good Stuff website.