hlf_2016_participating_laureates.indd

First Page		Document Content
Date: 2016-08-01 03:42:27 Turing Award laureates Turing Award Nevanlinna Prize Robert Tarjan John Hopcroft Barbara Liskov Fields Medal Leslie Lamport Stephen Cook Alan Turing Tony Hoare Turing		hlf_2016_participating_laureates.indd Add to Reading List Source URL: www.heidelberg-laureate-forum.org Download Document from Source Website File Size: 1,16 MB Share Document on Facebook

	Cambridge University Press4 - Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen Excerpt More information DocID: 1tqEc - View Document
	Cambridge University Press4 - Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen Copyright Information More information DocID: 1tpid - View Document
	Cambridge University Press4 - Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen Frontmatter More information DocID: 1toM0 - View Document
	Cambridge University Press4 - Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen Table of Contents More information DocID: 1tfTF - View Document
	Cambridge University Press4 - Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen Index More information DocID: 1t9Zv - View Document