Advertisement

Automated deduction with constraints

  • Wayne Snyder
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 845)

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Wayne Snyder
    • 1
  1. 1.Computer Science DepartmentBoston UniversityBoston

Personalised recommendations