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
Year of publication: 2007
Volume: 22
Issue: 58
Pages: 81-92
Type: Article
ISSN: 0495-4548
Year of publication: 2007
Volume: 22
Issue: 58
Pages: 81-92
Type: Article