No Cover Image

Book chapter 537 views

Verifying the uniform candy distribution puzzle with CSP-Prover / Yohinao Isobe; Markus Roggenbach

Start page: ??? pp.

Swansea University Author: Markus, Roggenbach

Published: University Pretoria 2008
URI: https://cronfa.swan.ac.uk/Record/cronfa24
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: In Colloquium and Festschrift on the Occasion of the 60th Birthday of Derrick Kourie, Pretoria, South Africa
College: College of Science
Start Page: ??? pp.