Результаты запроса "mathematical logic and formal language."

Результаты запроса "mathematical logic and formal language." Отображение 1 - 50 результаты of 654 Laminas_Feed_Writer 2 (https://getlaminas.org) https://vufind.lib.tsu.ru/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22mathematical+logic+and+formal+language.%22&type=Subject 654 0 50 Mathematical Linguistics Tue, 01 Jan 2008 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.234148 https://vufind.lib.tsu.ru/Record/libtsu.234148 Kornai, András eBook 2008 Kornai, András 0 Discrete Mathematics Using a Computer Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.234604 https://vufind.lib.tsu.ru/Record/libtsu.234604 O'Donnell, John eBook 2006 O'Donnell, John 0 Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems / Tue, 01 Jan 2008 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.234622 https://vufind.lib.tsu.ru/Record/libtsu.234622 Carnielli, Walter eBook 2008 Carnielli, Walter 0 Theory and Applications of Satisfiability Testing (vol. # 3569) 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.234984 https://vufind.lib.tsu.ru/Record/libtsu.234984 Bacchus, Fahiem eBook 2005 Bacchus, Fahiem 0 Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.234987 https://vufind.lib.tsu.ru/Record/libtsu.234987 Etessami, Kousha eBook 2005 Etessami, Kousha 0 Computational Logic in Multi-Agent Systems (vol. # 3487) 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.234993 https://vufind.lib.tsu.ru/Record/libtsu.234993 Leite, João eBook 2005 Leite, João 0 Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235000 https://vufind.lib.tsu.ru/Record/libtsu.235000 Hurd, Joe eBook 2005 Hurd, Joe 0 Algorithms in Invariant Theory Tue, 01 Jan 2008 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235120 https://vufind.lib.tsu.ru/Record/libtsu.235120 Sturmfels, Bernd eBook 2008 Sturmfels, Bernd 0 Complexity Theory Exploring the Limits of Efficient Algorithms / Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235246 https://vufind.lib.tsu.ru/Record/libtsu.235246 Wegener, Ingo eBook 2005 Wegener, Ingo 0 Information and Knowledge A Constructive Type-theoretical Approach / Tue, 01 Jan 2008 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.232774 https://vufind.lib.tsu.ru/Record/libtsu.232774 Primiero, Giuseppe eBook 2008 Primiero, Giuseppe 0 Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontology / Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235259 https://vufind.lib.tsu.ru/Record/libtsu.235259 Lee, Raymond S. T. eBook 2006 Lee, Raymond S. T. 0 Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability / Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235260 https://vufind.lib.tsu.ru/Record/libtsu.235260 Hutter, Marcus eBook 2005 Hutter, Marcus 0 Fuzzy Systems and Knowledge Discovery (vol. # 3614) Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235268 https://vufind.lib.tsu.ru/Record/libtsu.235268 Jin, Yaochu eBook 2005 Jin, Yaochu 0 Computer Aided Systems Theory - EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235275 https://vufind.lib.tsu.ru/Record/libtsu.235275 Moreno Díaz, Roberto eBook 2005 Moreno Díaz, Roberto 0 Natural Language Processing - IJCNLP 2004 First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235620 https://vufind.lib.tsu.ru/Record/libtsu.235620 Kwong, Oi Yee eBook 2005 Kwong, Oi Yee 0 Compiler Construction (vol. # 3443) 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.236209 https://vufind.lib.tsu.ru/Record/libtsu.236209 Bodik, Rastislav eBook 2005 Bodik, Rastislav 0 Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.236226 https://vufind.lib.tsu.ru/Record/libtsu.236226 Margenstern, Maurice eBook 2005 Margenstern, Maurice 0 Fuzzy Logic and Applications (vol. # 2955) 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235920 https://vufind.lib.tsu.ru/Record/libtsu.235920 Di Gesú, Vito eBook 2006 Di Gesú, Vito 0 Implementation and Application of Automata (vol. # 3845) 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235921 https://vufind.lib.tsu.ru/Record/libtsu.235921 Farré, Jacques eBook 2006 Farré, Jacques 0 Agent Technology from a Formal Perspective Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.236346 https://vufind.lib.tsu.ru/Record/libtsu.236346 Rouff, Christopher A. eBook 2006 Rouff, Christopher A. 0 Natural Language Processing and Information Systems (vol. # 3513) 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.236374 https://vufind.lib.tsu.ru/Record/libtsu.236374 Métais, Elisabeth eBook 2005 Métais, Elisabeth 0 Abstraction, Refinement and Proof for Probabilistic Systems Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.231483 https://vufind.lib.tsu.ru/Record/libtsu.231483 McIver, Annabelle eBook 2005 McIver, Annabelle 0 Contributions to the Science of Text and Language Word Length Studies and Related Issues / Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.231586 https://vufind.lib.tsu.ru/Record/libtsu.231586 Grzybek, Peter eBook 2006 Grzybek, Peter 0 Handbook of Spatial Logics Mon, 01 Jan 2007 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.232429 https://vufind.lib.tsu.ru/Record/libtsu.232429 Aiello, Marco eBook 2007 Aiello, Marco 0 Robustness and Usability in Modern Design Flows Tue, 01 Jan 2008 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.234619 https://vufind.lib.tsu.ru/Record/libtsu.234619 Fey, Görschwin eBook 2008 Fey, Görschwin 0 Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235108 https://vufind.lib.tsu.ru/Record/libtsu.235108 Imiya, Atsushi eBook 2005 Imiya, Atsushi 0 Modeling and Using Context 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.234880 https://vufind.lib.tsu.ru/Record/libtsu.234880 Dey, Anind eBook 2005 Dey, Anind 0 A Theory of Distributed Objects Asynchrony вЂ" Mobility вЂ" Groups вЂ" Components / Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235145 https://vufind.lib.tsu.ru/Record/libtsu.235145 Caromel, Denis eBook 2005 Caromel, Denis 0 Programming Sudoku Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.232681 https://vufind.lib.tsu.ru/Record/libtsu.232681 Lee, Wei-Meng eBook 2006 Lee, Wei-Meng 0 Finite Model Theory and Its Applications Mon, 01 Jan 2007 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235174 https://vufind.lib.tsu.ru/Record/libtsu.235174 Grädel, Erich eBook 2007 Grädel, Erich 0 Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235215 https://vufind.lib.tsu.ru/Record/libtsu.235215 Nieuwenhuis, Robert eBook 2005 Nieuwenhuis, Robert 0 Conceptual Modeling - ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235581 https://vufind.lib.tsu.ru/Record/libtsu.235581 Delcambre, Lois eBook 2005 Delcambre, Lois 0 Handbook of Philosophical Logic Mon, 01 Jan 2007 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.232846 https://vufind.lib.tsu.ru/Record/libtsu.232846 Gabbay, D. M. eBook 2007 Gabbay, D. M. 0 Computational Linguistics and Intelligent Text Processing (vol. # 3406) 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235674 https://vufind.lib.tsu.ru/Record/libtsu.235674 Gelbukh, Alexander eBook 2005 Gelbukh, Alexander 0 Formal Concept Analysis (vol. # 3403) Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235676 https://vufind.lib.tsu.ru/Record/libtsu.235676 Ganter, Bernhard eBook 2005 Ganter, Bernhard 0 The Seventeen Provers of the World Foreword by Dana S. Scott Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.235712 https://vufind.lib.tsu.ru/Record/libtsu.235712 Wiedijk, Freek eBook 2006 Wiedijk, Freek 0 Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / Mon, 01 Jan 2007 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.276131 https://vufind.lib.tsu.ru/Record/libtsu.276131 Altenkirch, Thorsten eBook 2007 Altenkirch, Thorsten 0 Advances in Case-Based Reasoning 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4вЂ"7, 2002 Proceedings / Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.276299 https://vufind.lib.tsu.ru/Record/libtsu.276299 Craw, Susan eBook 2006 Craw, Susan 0 Transactions on Computational Systems Biology VII Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.277058 https://vufind.lib.tsu.ru/Record/libtsu.277058 Ingolfsdottir, Anna eBook 2006 Ingolfsdottir, Anna 0 M-Solid Varieties of Algebras Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.226305 https://vufind.lib.tsu.ru/Record/libtsu.226305 Koppitz, J. eBook 2006 Koppitz, J. 0 Computation Engineering Applied Automata Theory and Logic / Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.227127 https://vufind.lib.tsu.ru/Record/libtsu.227127 Gopalakrishnan, Ganesh eBook 2006 Gopalakrishnan, Ganesh 0 Modelling and Reasoning with Vague Concepts Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.227450 https://vufind.lib.tsu.ru/Record/libtsu.227450 Lawry, Jonathan eBook 2006 Lawry, Jonathan 0 Notes on Set Theory Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.228655 https://vufind.lib.tsu.ru/Record/libtsu.228655 Moschovakis, Yiannis eBook 2006 Moschovakis, Yiannis 0 Mathematical Problems from Applied Logic I Logics for the XXIst Century / Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.228709 https://vufind.lib.tsu.ru/Record/libtsu.228709 Gabbay, Dov M. eBook 2006 Gabbay, Dov M. 0 Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays / Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.230017 https://vufind.lib.tsu.ru/Record/libtsu.230017 Gokhale, Maya eBook 2005 Gokhale, Maya 0 Formal Ontology and Conceptual Realism Mon, 01 Jan 2007 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.231061 https://vufind.lib.tsu.ru/Record/libtsu.231061 Cocchiarella, Nino B. eBook 2007 Cocchiarella, Nino B. 0 Modern Formal Methods and Applications Sun, 01 Jan 2006 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.231965 https://vufind.lib.tsu.ru/Record/libtsu.231965 Gabbar, Hossam A. eBook 2006 Gabbar, Hossam A. 0 Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV / Thu, 01 Jan 2009 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.232061 https://vufind.lib.tsu.ru/Record/libtsu.232061 Wójcicki, Ryszard eBook 2009 Wójcicki, Ryszard 0 Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, SaarbrГјcken, Germany, October 3-6, 2005, Proceedings Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.236992 https://vufind.lib.tsu.ru/Record/libtsu.236992 Borrione, Dominique eBook 2005 Borrione, Dominique 0 AI 2005: Advances in Artificial Intelligence 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings Sat, 01 Jan 2005 20:06:49 -0500 https://vufind.lib.tsu.ru/Record/libtsu.237029 https://vufind.lib.tsu.ru/Record/libtsu.237029 Jarvis, Ray eBook 2005 Jarvis, Ray 0