Author Results for Moore, J Strother, 1947

Boyer,Robert S
Elsevier Science & Technology
Kaufmann,Matt
Manolios,Panagiotis
Moore,J Strother
see all »
Moore,J Strother,
Robert S. Boyer and J Strother Moore
Robert S. Boyer, J Strother Moore
by Matt Kaufmann, Panagiotis Manolios, J Strother Moore
edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore

1
Formal verification of floating-point hardware design : a mathematical approach /

Cover is for reference only
Main Authors: Russinoff, David, 1948
Group Author: Moore, J Strother, 1947
Published: Springer,
Publication Dates: [2019]
Call Number: TP301.6/R969
Book
Save to List
Saved in:
2
A computational logic handbook /

Cover is for reference only
Main Authors: Boyer, Robert S.
Corporate Authors: Elsevier Science & Technology.
Group Author: Moore, J Strother, 1947-
Published: Academic Press,
Publication Dates: 1988.
eBook
Save to List
Saved in:
3
A computational logic /

Cover is for reference only
Main Authors: Boyer, Robert S.
Corporate Authors: Elsevier Science & Technology.
Group Author: Moore, J Strother, 1947-
Published: Academic Press,
Publication Dates: 1979.
eBook
Save to List
Saved in:
4
A computational logic handbook

Cover is for reference only
Main Authors: Boyer Robert S
Group Author: Moore J Strother 1947-
Published: Academic Press,
Publication Dates: c1988.
Call Number: O141-62/B791/
Book
Save to List
Saved in:
5
The Correctness problem in computer science

Cover is for reference only
Group Author: Boyer Robert S; Moore J Strother 1947-
Published: Academic Press,
Publication Dates: 1981.
Call Number: TP31/C824/
Book
Save to List
Saved in:
6
A computational logic

Cover is for reference only
Main Authors: Boyer Robert S (Robert S. Boyer and J Strother Moore.)
Group Author: Moore J. Strother 1947- (joint author.)
Published: Academic Press,
Publication Dates: c1979.
Call Number: TP311/B791/
Book
Save to List
Saved in:
7
Computer-aided reasoning ACL2 case studies

Cover is for reference only
Group Author: Kaufmann Matt.; Manolios Panagiotis.; Moore J Strother, 1947-
Published: Kluwer Academic Publishers,
Publication Dates: c2000.
Call Number: TP301.6-3/K215
Book
Save to List
Saved in:
8
Computer-aided reasoning an approach

Cover is for reference only
Main Authors: Kaufmann Matt.
Group Author: Manolios Panagiotis.; Moore J Strother, 1947-
Published: Kluwer Academic Publishers,
Publication Dates: c2000.
Call Number: TP301.6-3/K215
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —