CoRR, November 1993

• Francesco Bergadano, Daniele Gunetti, Umberto Trinchero:
  The Difficulties of Learning Logic Programs with Cut.
  
• Jeffrey C. Schlimmer, Leonard A. Hermens:
  Software Agents: Completing Patterns and Constructing User Interfaces.
  
• Lawrence C. Paulson:
  Set Theory for Verification: I. From Foundations to Functions.
  

Last update Tue May 21 18:35:52 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page