Search results for ‘Dominique Snyers,Andre Thayse’

Filter & Refine

      Cover image for From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
      Paperback
      Add to list Added to list

      From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

      Dominique Snyers,Andre Thayse

      This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws. A systematic examination of deductive laws and of constructive laws…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order