Thread Links			Date Links
Thread Prev	Thread Next	Thread Index	Date Prev	Date Next	Date Index

[802.19] Presentation from today

To: STDS-802-19@xxxxxxxxxxxxxxxxx
Subject: [802.19] Presentation from today
From: "James P. K. Gilb" <gilb@xxxxxxxx>
Date: Tue, 8 Nov 2011 08:56:41 -0800
Delivered-to: mhonarc@xxxxxxxxxxxxxxxx
List-help: <https://listserv.ieee.org/cgi-bin/wa?LIST=STDS-802-19>, <mailto:LISTSERV@LISTSERV.IEEE.ORG?body=INFO%20STDS-802-19>
List-owner: <mailto:STDS-802-19-request@LISTSERV.IEEE.ORG>
List-subscribe: <mailto:STDS-802-19-subscribe-request@LISTSERV.IEEE.ORG>
List-unsubscribe: <mailto:STDS-802-19-unsubscribe-request@LISTSERV.IEEE.ORG>
Reply-to: "James P. K. Gilb" <gilb@xxxxxxxx>
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.23) Gecko/20110922 Lightning/1.0b2 Thunderbird/3.1.15

All

Here is the document that was presented at our session today on how toprove things.


James Gilb

Attachment: proveit.pdf
Description: Adobe PDF document