Author Results for Kaufmann Matt.

Kaufmann,Matt
Manolios,Panagiotis
Moore,J Strother,
ITP 2010,Edinburgh, Scotland)
Paulson,Lawrence C.
see all »
SpringerLink (Online service)
by Matt Kaufmann, Panagiotis Manolios, J Strother Moore
edited by Matt Kaufmann, Panagiotis Manolios, J Strother Moore

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