TPTP Reference: Hay93

1 entry with key starting “Hay93”. Plain BibTeX

@Book{Hay93,
    Author       = "Hayes, J.P.",
    Year         = "1993",
    Title        = "{Introduction to Digital Logic Circuit Design}",
    Publisher    = "Addison Wesley",
    Comment      = "TPTPRef"
}