Higher Order Logic (1994)

by Daniel Leivant
Venue:IN HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING
Citations:24 - 0 self