Programas para deducción automatizada en lógica preposicional

  1. Frías Delgado, Antonio

Publisher: Cádiz : Universidad, Servicio de Publicaciones, 1992

ISBN: 84-7786-082-3

Year of publication: 1992

Type: Book