Search Results for Mathematical Logic and Formal Languages.

Home Room
573 Results
000000000000DEFAULT
Cover image for Programming Sudoku
Programming Sudoku
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Cover image for Constructing Correct Software
Constructing Correct Software
Cover image for Advances in Proof-Theoretic Semantics
Advances in Proof-Theoretic Semantics
Cover image for Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings
Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings
Cover image for Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
Cover image for Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective
Cover image for Contributions to the Science of Text and Language Word Length Studies and Related Issues
Contributions to the Science of Text and Language Word Length Studies and Related Issues
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings
Cover image for Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
Cover image for Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
Cover image for Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings
Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings
Go to:Search ResultsTop of Page

İYTE Kütüphanesi © 2020
library@iyte.edu.tr
+90 (232) 750-6335
Gülbahçe Kampüsü - Urla, İzmir 35430 TR