Mathematical Logic and Formal Languages

Modelling and Reasoning with Vague Concepts / by: (書目-電子資源)

Computation Engineering :Applied Automata Theory and Logic / by: (書目-電子資源)

Agent Technology from a Formal Perspective / by: (書目-電子資源)

Discrete Mathematics Using a Computer / by: (書目-電子資源)

Fuzzy-Neuro Approach to Agent Applications :From the AI Perspective to Modern Ontology / by: (書目-電子資源)

Formal Models of Communicating Systems :Languages, Automata, and Monadic Second-Order Logic / by: (書目-電子資源)

Comprehensive Mathematics for Computer Scientists :Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry.1 by: (書目-電子資源)

Verification of Object-Oriented Software. The KeY Approach :Foreword by K. Rustan M. Leino / by: (書目-電子資源)

A Roadmap for Formal Property Verification / by: (書目-電子資源)

Contributions to the Science of Text and Language :Word Length Studies and Related Issues / by: (書目-電子資源)

M-Solid Varieties of Algebras / by: (書目-電子資源)

Mathematical Problems from Applied Logic I :Logics for the XXIst Century / by: (書目-電子資源)

Notes on Set Theory / by: (書目-電子資源)

Finite Model Theory / by: (書目-電子資源)

Programming Sudoku / by: (書目-電子資源)

Artificial Intelligence and Symbolic Computation8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings / by: (書目-電子資源)

Automated Reasoning with Analytic Tableaux and Related Methods :International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings by: (書目-電子資源)

Central European Functional Programming Schoolsecond summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 ; revised selected / by: (書目-語言資料,印刷品)

Natural language processing and information systems14th International Conference on Applications of Natural Language to Information Systems, NLDB 2009, Saarbrucken, Germany, June 24-26, 2009 : revised papers / by: (書目-電子資源)

Leveraging applications of formal methods, verification, and validation6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / by: (書目-電子資源)