| |
Reviews about "Deduction And Theorem Proving (I.2.3)":
|
ATP and presentation service for Mizar formalizations
Urban J., Rudnicki P., Sutcliffe G. Journal of Automated Reasoning 50(2): 229-241, 2013. Type: Article
|
New concepts and applications in soft computing
Balas V., Fodor J., Várkonyi-Kóczy A., Springer Publishing Company, Incorporated, Berlin, Germany, 2013. 232 pp. Type: Book (978-3-642289-58-3)
|
Soft computing: state of the art theory and novel applications
Yager R., Abbasov A., Reformat M., Shahbazova S., Springer Publishing Company, Incorporated, New York, NY, 2013. 321 pp. Type: Book (978-3-642349-21-8)
|
Fuzzy modeling and H control for general 2D nonlinear systems
Li L., Wang W. Fuzzy Sets and Systems 2071-26, 2012. Type: Article
|
Grey sets and greyness
Yang Y., John R. Information Sciences: an International Journal 185(1): 249-264, 2012. Type: Article
|
On the logic of lying
van Ditmarsch H., van Eijck J., Sietsma F., Wang Y. In Games, actions and social software. New York, NY: Springer-Verlag, 2012. Type: Book Chapter
|
The model of appropriation: contribution of rational choice theory and cognitive science to a better technology
Zejda D. IE 2011 (Proceedings of the 7th International Conference on Intelligent Environments, Nottingham, UK, Jul 25-28, 2011) 262-269, 2011. Type: Proceedings
|
more...
|
|
|
|
