Series: Progress in Computer Science and Applied Logic
Filter
-
Creators
- Ralph L. Disney 2
- Teunis J. Ott 2
- DEVROYE 1
- David I. Spivak 1
- Donald R. Woods 1
- George Polya 1
- Horst Bunke 1
- Jeffrey B. Remmel 1
- M.D. Donner 1
- Manindra Agrawal 1
- Miro Kraetzl 1
- P.J. Scott 1
- Patrick Schultz 1
- Peter Clote 1
- Peter J. Dickinson 1
- RAATZ 1
- Reinhard Kahle 1
- Robert E. Tarjan 1
- S.R. Buss 1
- Thomas Strahm 1
- Thomas Studer 1
- Vikraman Arvind 1
- Walter D. Wallis 1
-
Subjects
-
Publisher
-
Format
Perspectives in Computational...
Progress in Computer Science and Applied Logic (Series)
Book 26
Manindra Agrawal Editor
Vikraman Arvind Editor
(2014)
Advances in Proof Theory
Progress in Computer Science and Applied Logic (Series)
Book 28
Reinhard Kahle Editor
Thomas Strahm Editor
(2016)
Applied Probability— Computer...
Progress in Computer Science and Applied Logic (Series)
Book 3
Ralph L. Disney Author
Teunis J. Ott Author
(2013)
Applied Probability-Computer...
Progress in Computer Science and Applied Logic (Series)
Book 2
Ralph L. Disney Author
Teunis J. Ott Author
(2013)
Feasible Mathematics
Progress in Computer Science and Applied Logic (Series)
Book 9
S.R. Buss Author
P.J. Scott Author
(2013)
Feasible Mathematics II
Progress in Computer Science and Applied Logic (Series)
Book 13
Peter Clote Editor
Jeffrey B. Remmel Editor
(2013)
Graph-Based Proof Procedures...
Progress in Computer Science and Applied Logic (Series)
Book 10
RAATZ Author
(2013)
Lecture Notes on Bucket...
Progress in Computer Science and Applied Logic (Series)
Book 6
DEVROYE Author
(2013)
Notes on Introductory...
Progress in Computer Science and Applied Logic (Series)
Book 4
George Polya Author
Robert E. Tarjan Author
(2013)
Real-Time Control of Walking
Progress in Computer Science and Applied Logic (Series)
Book 7
M.D. Donner Author
(2013)
Temporal Type Theory
Progress in Computer Science and Applied Logic (Series)
Book 29
Patrick Schultz Author
David I. Spivak Author
(2019)
