Book serie: / Книги серии: Progress in Computer Science and Applied Logic 29 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Progress in Computer Science and Applied Logic 29

book Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior

pdf

Author: Patrick Schultz David I. Spivak
Language: English
Year: 2019

00

30.01.2024

0

0

book Advances in Proof Theory

Advances in Proof Theory

pdf

Author: Reinhard Kahle Thomas Strahm Thomas Studer (eds.)
Language: English
Year: 2016

00

29.01.2024

0

0

book Number Theoretic Methods in Cryptography: Complexity lower bounds

Number Theoretic Methods in Cryptography: Complexity lower bounds

djvu

Author: Igor Shparlinski
Language: English
Year: 1999

00

29.01.2024

0

0

book Perspectives in computational complexity. The Somenath Biswas anniversary vol

Perspectives in computational complexity. The Somenath Biswas anniversary vol

pdf

Author: Manindra Agrawal Vikraman Arvind, Biswas Somenath (eds.)
Language: English
Year: 2014

00

29.01.2024

0

0

book Advances in Proof Theory

Advances in Proof Theory

pdf

Author: Reinhard Kahle Thomas Strahm Thomas Studer (eds.)
Language: English
Year: 2016

00

27.01.2024

0

0

book Mathematical Logic: Foundations for Information Science

Mathematical Logic: Foundations for Information Science

pdf

Author: Wei Li (auth.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume

Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume

pdf

Author: Manindra Agrawal Vikraman Arvind (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Mathematical Logic: Foundations for Information Science

Mathematical Logic: Foundations for Information Science

pdf

Author: Wei Li
Language: English
Year: 2010

00

27.01.2024

0

0

book Interpolating cubic splines

Interpolating cubic splines

djvu

Author: Gary D. Knott
Language: English
Year: 1999

00

27.01.2024

0

0

book Graph-Based Proof Procedures for Horn Clauses

Graph-Based Proof Procedures for Horn Clauses

pdf

Author: Stan Raatz (auth.)
Language: English
Year: 1990

00

27.01.2024

0

0