Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (2007)

EDITORS:

Dahl, Veronica and Niemelä, Ilkka

  • BOOKTITLE:
  • VOLUME:
  • 4670
  • SERIES:
  • Lecture Notes in Computer Science