01287oam 2200409 a 450 991069970160332120110314163136.0(CKB)5470000002405935(OCoLC)74226742(EXLCZ)99547000000240593520080513d2002 ua 0engurmn|||||||||txtrdacontentcrdamediacrrdacarrierSpreadsheet proof of arguments[electronic resource] /John D. SullivanAberdeen Proving Ground, MD :U.S. Army Research Laboratory,[2002]1 online resource (viii, 26, 4 pages) illustrationsARL-TR ;2815Title from title screen (viewed on March 10, 2011)."September 2002."Includes bibliographical references (page 23).Algebra, BooleanElectronic spreadsheetsAlgebra, Boolean.Electronic spreadsheets.Sullivan John D1414084U.S. Army Research Laboratory.DTICEDTICEOCLCQGPOBOOK9910699701603321Spreadsheet proof of arguments3512272UNINA