Generating Plans from Proofs

by

  • Publisher: Morgan & Claypool Publishers
  • Print ISBN: 9781627059541, 1627059547

  • eText ISBN: 9781627059428, 1627059423