Le Fun: Logic, equations, and Functions (1987)

by Hassan Aït-kaci , Patrick Lincoln , Roger Nasr
Venue:In Proc. 4th IEEE Internat. Symposium on Logic Programming
Citations:44 - 1 self

Document Versions

Le Fun: Logic, equations, and Functions –Hassan Aït-kaci, Patrick Lincoln, Roger Nasr — 1987 — In Proc. 4th IEEE Internat. Symposium on Logic Programming
Le Fun: Logic, equations, and Functions –Patrick Lincoln, Roger Nasr — 1987 — In Proc. 4th IEEE Internat. Symposium on Logic Programming
Le Fun: Logic, equations, and Functions –Hassan Ait-kaci, Patrick Lincoln, Roger Nasr — 1986 — In Proc. 4th IEEE Internat. Symposium on Logic Programming