What tool has uses for both the U.S. Army and the Stanford Computer Science Department? Logical spreadsheets—data management systems that use logic instead of math—allow easier manipulation of data, ...