Repository | People

150501

References

M Rodriguez Artalejo

Bibliography ¹Export

A first order logic for logic programming

1987

with Moreno Navarro J J

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link

Order by

Filter

Language

english/english

Period

1980-1989

Style