Lógica clásica de primer ordenestrategias de deducción, formalización y evaluación semántica

  1. Falguera López, José L.
  2. Martínez Vidal, Concepción

Verlag: Madrid : Trotta, D.L.1999

ISBN: 84-8164-317-3,  84-8164-318-1

Datum der Publikation: 1999

Art: Buch

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet