Discontinued series: although this series no longer publishes new content, the published titles listed here remain available.
Print ISSN
0927-1023

Book titles in this series

  1. Piton

    A Mechanically Verified Assembly-Level Language

    Authors:
    • J Strother Moore
    • Copyright: 1996

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  2. Automated Reasoning

    Essays in Honor of Woody Bledsoe

    Editors:
    • Robert Stephen Boyer
    • Copyright: 1991

    Available Renditions

    • Soft cover
    • eBook

  3. Resolution Proof Systems

    An Algebraic Theory

    Authors:
    • Z. Stachniak
    • Copyright: 1996

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook