Chapter

9th International Conference on Automated Deduction

Volume 310 of the series Lecture Notes in Computer Science pp 762-763

Date:

MOLOG: A modal PROLOG

  • Pierre BieberAffiliated withL.S.I,Université Paul Sabatier
  • , Luis Fariñas del CerroAffiliated withL.S.I,Université Paul Sabatier
  • , Andreas HerzigAffiliated withL.S.I,Université Paul Sabatier

* Final gross prices may vary according to local VAT.

Get Access