TPTP Reference: BB70

1 entry with key starting “BB70”. Plain BibTeX

@Book{BB70,
    Author       = "Birkhoff, G. and Bartee, T.",
    Year         = "1970",
    Title        = "{Modern Applied Algebra}",
    Publisher    = "McGraw-Hill",
    Comment      = "TPTPRef"
}