Logic for Computer Science

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

1. Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers (Lecture ... Computer Science / Security and Cryptology). – М.: , 2012. – 289 с.
   
2. Boris Kovalerchuk, Evgenii Vityaev. Data Mining in Finance: Advances in Relational and Hybrid Methods (Kluwer International Series in Engineering and Computer Science, 547). – М.: , 0. – 0 с.
   
3. David L. Woodruff. Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search: Interfaces in Computer Science and Operations Research (Operations Research/Computer Science Interfaces Series, Orcs 09). – М.: , 0. – 0 с.
   
4. Yun-Heh Chen-Burger. Automating Business Modelling : A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing). – М.: , 2004. – 0 с.
   
5. Raymond M. Smullyan. Logical Labyrinths. – М.: , 2009. – 275 с.
   
6. A. S. Troelstra, H. Schwichtenberg, C. J. van Rijsbergen, Anne S. Troelstra. Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science). – М.: , 0. – 0 с.
   
7. G. V. Morrill. Type Logical Grammar: Categorial Logic of Signs. – М.: Springer, 1994. – 328 с.
   
8. Paul Thagard. Mind, 2nd Edition: Introduction to Cognitive Science (Bradford Books). – М.: The MIT Press, 2005. – 280 с.
   
9. Transactions on Rough Sets XI (Lecture Notes in Computer Science / Transactions on Rough Sets). – М.: , 2010. – 189 с.
   
10. Gabriele Puppis. Automata for Branching and Layered Temporal Structures (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence). – М.: , 2010. – 212 с.
    
11. Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International ... Computer Science and General Issues). – М.: , 2010. – 367 с.
    
12. Jean H. Gallier. Logic for Computer Science. – М.: , 1986. – 528 с.
    
13. Introduction To Logic Design. – М.: , 2009. – 672 с.
    
14. Types in Logic Programming. – М.: The MIT Press, 1992. – 378 с.
    
15. J. Susan Milton, Jesse C Arnold. Introduction to Probability and Statistics : Principles and Applications for Engineering and the Computing Sciences. – М.: , . –  с.
    
16. Hussam Elbehiery. Digital Logic Design. – М.: LAP Lambert Academic Publishing, 2011. – 88 с.
    
17. Sachin Sharma. ABS Implementation Using Fuzzy Logic Based Controller. – М.: LAP Lambert Academic Publishing, 2012. – 64 с.
    

Образцы работ

Задайте свой вопрос по вашей теме

		Гладышева Марина Михайловна marina@studentochka.ru +7 911 822-56-12 с 9 до 21 ч. по Москве.