Universitat Politècnica de Catalunya-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2004

  1. Constructive negation by bottom-up computation of literal answers

    Proceedings of the ACM Symposium on Applied Computing