Oski Decoding Formal Club October 10, 2013: Bounded Proofs

Oski "Decoding Formal" Club
Oski “Decoding Formal” Club

Oski “Decoding Formal” Club invitation-only event at the Computer History Museum, Mountain View, October 2013.

For more information on the Oski Decoding Formal Club, please visit www.oskitechnology.com/decodingformal

Decoding Formal Club event, Computer History Museum
Decoding Formal Club event, Computer History Museum