[ Back to Record ]

  1. Bib ID# 35646
    ISBN: 9783540741053
    UPC: 10.1007/978-3-540-74105-3
    Title: Decision ProceduresAn Algorithmic Point of View /
    Author: Kroening, Daniel.
    Publication Info:
    Item Type: Language material

[ Back to Record ]