Interactive Theorem Proving
Interactive Theorem Proving

Author: Mauricio Ayala-Rincón

Publisher: Springer

Published: 2017-09-04

Total Pages: 550

ISBN-13: 3319661078

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

Navy V-12
Navy V-12

Author: Henry C. Herge

Publisher: Turner Publishing Company

Published: 1996-06-01

Total Pages: 539

ISBN-13: 1681621576

DOWNLOAD EBOOK

A history of the Navy V-12 Program during World War II. The Program provided opportunities for young men whose families had suffered during the difficult times of the Great Depression. These high school graduates were offered the golden opportunity to attend colleges and universities. At the end of the program, more than 60,000 U.S. Navy and USMC officers had entered the armed forces for the war. Many, also entered the U.S. Naval Reserve in the post-ear period, and served in Korea and Vietnam. With photos -- 80+ pages of biographies of individual members of the program. Many include photos then and now.