Un estudio de las funciones parciales en la lógica de primer orden

  1. Gavilanes Franco, Antonio Javier
Buch:
Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)
  1. Martín Vide, Carlos (coord.)

Verlag: Promociones y Publicaciones Universitarias, PPU

ISBN: 84-7665-518-5,  84-7665-517-7

Datum der Publikation: 1989

Ausgabe: 2

Seiten: 629-644

Kongress: Congreso de Lenguajes Naturales y Lenguajes Formales (4. 1988. Lleida)

Art: Konferenz-Beitrag

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet