Repository | People

150500

References

J J Moreno Navarro

Bibliography ¹Export

A first order logic for logic programming

1987

with Rodriguez Artalejo M

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link

Order by

Filter

Language

english/english

Period

1980-1989

Style