Тема, жанр, tags: Mathematical Logic » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic

book Connecting Discrete Mathematics and Computer Science

Connecting Discrete Mathematics and Computer Science

pdf

Author: David Liben-Nowell
Language: English
Year: 2023

00

11.02.2025

0

0

book Probleme de teoria mulţimilor şi logică matematică

Probleme de teoria mulţimilor şi logică matematică

pdf

Author: I. A. Lavrov L. L. Maksimova (auth.) prof. Eugenia Metoni prof. univ. dr. Constantin P. Popovici (trans.)
Language: Romanian
Year: 1974

00

11.02.2025

0

0

book Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

pdf

Author: Olivier Bournez, Enrico Formenti, Igor Potapov
Language: English
Year: 2023

00

11.02.2025

0

0

book Архитектура компьютерных систем. Как собрать современный компьютер по всем правилам

Архитектура компьютерных систем. Как собрать современный компьютер по всем правилам

pdf

00

02.03.2024

18

0

book Degree Spectra of Relations on a Cone

Degree Spectra of Relations on a Cone

pdf

Author: Matthew Harrison-Trainor
Language: English
Year: 2018

00

02.03.2024

0

0

book Тайная жизнь программ. Как создать код, который понравится вашему компьютеру

Тайная жизнь программ. Как создать код, который понравится вашему компьютеру

pdf

00

16.02.2024

0

0

book Appendix S1: G¨odel’s Consistency-Proof for Arithmetic (supplement to "Lambda-Calculus and Combinators, an Introduction")

Appendix S1: G¨odel’s Consistency-Proof for Arithmetic (supplement to "Lambda-Calculus and Combinators, an Introduction")

pdf

Author: J. R. Hindley J. P. Seldin
Language: English
Year: 2011

00

16.02.2024

0

0

book Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

pdf

Author: Boro Sitnikovski
Language: English
Year: 2023

00

15.02.2024

0

0

book Introduction to Proof Through Number Theory

Introduction to Proof Through Number Theory

pdf

Author: Bennett Chow
Language: English
Year: 2023

00

15.02.2024

0

0

book C2 Compiler Concepts

C2 Compiler Concepts

pdf

Author: Dr. Bernd Teufel Dr. Stephanie Schmidt Prof. Dr. Thomas Teufel (auth.)
Language: English
Year: 1993

00

15.02.2024

3

0