Learnability of quantified formulas

Bibliographic Details
Main Authors: Dalmau, V, Jeavons, P
Format: Journal article
Published: 2003