Proof and Computation
Series: Nato Asi Series F : Computer and Systems Sciences, Vol 139
Publisher: Springer-Verlag
Published: August 1995
Language: eng
Format: Hardcover
ISBN-13: 9780387585819
Subjects: Computer Logic; Theory Of Computing; Congresses; Logic programming; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical; Science/Mathematics