Constructivity in Computer Science: Summer Symposium, San Antonio, Tx, June 19-22, 1991. Proceedings

By J.P. Myers, Gerhard Goos, Juris Hartmanis

Mathematicians have long recognized the distinction between an argument showing that an interesting object exists and a procedure for actually constructing the object. Computer science adds a new... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540556311
• ISBN13: 9783540556312
• Release Date: June 1992
• Publisher: Springer
• Length: 253 Pages
• Weight: 0.84 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"