Reset Filters
CLC: T - 工业技术

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
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:
2
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:
3
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:
4
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 —