Learnability of quantified formulas

Detalles Bibliográficos
Autores principales: Dalmau, V, Jeavons, P
Formato: Journal article
Publicado: 2003