Programas para deducción automatizada en lógica preposicional

  1. Frías Delgado, Antonio

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

ISBN: 84-7786-082-3

Año de publicación: 1992

Tipo: Libro