Categorical Logic and Type Theory,141
Год выпуска: 2010
Автор: B. Jacobs
Издательство:
Страниц: 780
ISBN: 9780444508539
Описание Categorical Logic and Type Theory,141 |
Похожие книги - Giorgio Gandellini, Alberto Pezzi, Daniela Venanzi. Strategy for Action - I: The Logic and Context of Strategic Management (SpringerBriefs in Business). – М.: , 2012. – 95 с.
- Scott J. Callan, Janet M. Thomas. Environmental Economics and Management: Theory, Policy and Applications With Economic Applications Card and Infotrac College Edition. – М.: , 0. – 0 с.
- E.D. Solojentsev. Scenario Logic and Probabilistic Management of Risk in Business and Engineering (Applied Optimization). – М.: , 2004. – 0 с.
- Ken Urai. Fixed Points and Economic Equilibria (Series on Mathematical Economics and Game Theory). – М.: , 2010. – 310 с.
- Peter Schroeder-Heister, Kosta Dosen. Substructural Logics (Studies in Logic and Computation). – М.: Oxford University Press, 1994. – 400 с.
- Morten Heine SA?rensen, Pawel Urzyczyn. Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics). – М.: , 2006. – 456 с.
- Gert Webelhuth. Government and Binding Theory and the Minimalist Program. – М.: , 1995. – 496 с.
- B. Jacobs. Categorical Logic and Type Theory,141. – М.: , 2010. – 780 с.
- Edited by Reza Banakar and Max Travers. An Introduction to Law and Social Theory. – М.: , 2011. – 388 с.
- Martin V.B.P.M. van Hees. Rights and Decisions: Formal Models of Law and Liberalism (Law and Philosophy Library). – М.: , 2011. – 212 с.
- Arshdeep Kaur and Amrit Kaur. Fuzzy Logic and Neuro Fuzzy Algorithms for Air Conditioning System. – М.: LAP Lambert Academic Publishing, 2012. – 96 с.
- Paresh Chandra Deka and V Chandramoulli. Fuzzy logic and artificial neural network for hydrological modeling. – М.: LAP Lambert Academic Publishing, 2011. – 184 с.
- Fabio Ferrari Ruffino. Topics on Topology and Superstring Theory. – М.: LAP Lambert Academic Publishing, 2013. – 400 с.
- Sunil Mathew and M.S. Sunitha. Fuzzy graphs. – М.: LAP Lambert Academic Publishing, 2012. – 120 с.
- Tahany Elias,wafaa Rasheed and Mohamed Taha. Adipocytokines as a Link between Obesity and Type 2 Diabetes. – М.: LAP Lambert Academic Publishing, 2011. – 112 с.
- Bipradas Roy,Abul Kalam Azad and Mahbub E. Sobhani. Chronic Psychological Stress in Type 1 and Type 2 Diabetes Mellitus. – М.: LAP Lambert Academic Publishing, 2012. – 80 с.
- Abdullah Al Mamun and Qaiser Rafique Yasser. A Discussion on Corporate Governance and its Theories. – М.: LAP Lambert Academic Publishing, 2012. – 112 с.
Образцы работ
Задайте свой вопрос по вашей теме
|
|
|
