El sistema Bp+una lógica positiva mínima para la negación mínima
- Méndez Rodríguez, José Manuel
- Salto Alemany, Francisco
- Robles Vázquez, Gemma
ISSN: 0495-4548
Ano de publicación: 2007
Volume: 22
Número: 58
Páxinas: 81-92
Tipo: Artigo
ISSN: 0495-4548
Ano de publicación: 2007
Volume: 22
Número: 58
Páxinas: 81-92
Tipo: Artigo