KrzysztofApt
Last edit December 13, 2004
Researcher in
LogicProgramming
at the Centrum voor Wiskunde en Informatica (CWI), and professor of
ComputerScience
in the University of Amsterdam, both in the Netherlands. Author of several books in
LogicProgramming
, including:
PrinciplesOfConstraintProgramming
VerificatonOfSequentialAndConcurrentPrograms
FromLogicProgrammingToProlog
His webpage is
http://homepages.cwi.nl/~apt/
CategoryAuthor