Categorical Logic and Type Theory,141

Книги на иностранных языках → Hot lists → Книги издательства Elsevier со скидкой → Elsevier - Academic Press
Categorical Logic and Type Theory,141
Автор
 
Год
 
Страниц
 
780
ISBN
 
9780444508539
Категория
 
Elsevier - Academic Press

Описание:

Categorical Logic and Type Theory,141

Похожие книги

Theoretical elasticityTheoretical elasticity
Автор: A. E. Green
Год: 1992
Linear algebra for quantum theoryLinear algebra for quantum theory
Автор: Per-Olov L?wdin
Год: 1998
Operator Theory, Systems Theory and Scattering Theory: Multidimensional GeneralizationsOperator Theory, Systems Theory and Scattering Theory: Multidimensional Generalizations
Автор: Alpay D., Vinnikov V.
Год: 2005
A mathematical view of interior-point methods in convex optimizationA mathematical view of interior-point methods in convex optimization
Автор: James Renegar
Год: 1987
A mathematical view of interior-point methods in convex optimizationA mathematical view of interior-point methods in convex optimization
Автор: James Renegar
Год: 1987
H-optimal control and related minimax design problemsH-optimal control and related minimax design problems
Автор: Tamer Basar
Год: 1991