Skip Nav Destination
Foundations of Computing
From Logic to Logic Programming
By
The MIT Press
ISBN electronic:
9780262288477
Publication date:
1994
Book Chapter
6: Infinite Derivations
-
Published:1994
Citation
1994. "Infinite Derivations", From Logic to Logic Programming, Kees Doets
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.