A Computational Logic Handbook (Perspectives in Computing)

Perspectives

by: Robert S. Boyer · J. Strother Moore

Hardcover

ISBN: 978-0-12-122952-8

ISBN-10: 0-12-122952-1

Academic Pr · 1988

See also:
1997HardcoverComputational Logic Handbook, A (Formal Methods)