3rd International Workshop on the Implementation of Logics. Proceedings.
October, 2002, Tbilisi, Georgia
Here are some of the final versions in electronic format:
Cover
Preface
Programme
paper 1
paper 2
paper 3
paper 4
paper 5
paper 6
paper 7
paper 8
Back to
WIL 2002 home page
.