Amazon cover image
Image from Amazon.com
Image from Coce

Collected Works of Larry Wos, the In 2 Vols, Vol I: Exploring the Power of Automated Reasoning; Vol Ii: Applying Automated Reasoning to Puzzles, Problems, and Open Questions

By: Material type: TextTextLanguage: English Publication details: World Scientific; WSPC; 2000ISBN:
  • 9789812813411
Subject(s): Other classification:
Online resources:
Item type: eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Status Barcode
eBooks eBooks Central Library Central Library Available CL1875374

There are no comments on this title.

to post a comment.
Previous
Back to results
Next
Close