Order:
  1.  24
    Integrating constraint solving into proof planning.Erica Melis, Jürgen Zimmer & Tobias Müller - 2000 - In Dov M. Gabbay & Maarten de Rijke, Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 32--46.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations