J. Strother Moore

Books that list J. Strother Moore among their authors but not as the lead author: co-written works, collections and compilations.

Computer-aided reasoningMatt Kaufmann

Computer-aided reasoning

Matt Kaufmann · 2000

A Computational Logic HandbookRobert S. Boyer

A Computational Logic Handbook

Robert S. Boyer · 1997