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.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team