Repository | Directory | Profile

150500

References

J J Moreno Navarro

Bibliography 1

A first order logic for logic programming

1987

J J Moreno NavarroM Rodriguez Artalejo

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link