J. Strother Moore

ספרים שבהם J. Strother Moore מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Computer-aided reasoningMatt Kaufmann

Computer-aided reasoning

Matt Kaufmann · 2000

A Computational Logic HandbookRobert S. Boyer

A Computational Logic Handbook

Robert S. Boyer · 1997