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

  1. Gavilanes Franco, Antonio Javier
Liburua:
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.)

Argitaletxea: Promociones y Publicaciones Universitarias, PPU

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

Argitalpen urtea: 1989

Alea: 2

Orrialdeak: 629-644

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

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet