Search alternatives:
automated theory » automated theorem, automatic theorem, automated factory
languages » language
automata » automatic
Cover Image
Read Now

141
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Cover Image
Read Now

142
Published 2011
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

143
Published 2017
Springer International Publishing
Table of Contents: “...Sequents systems -- Tableaux -- Transitive closure and cyclic proofs -- Formalization...”
Cover Image
Read Now

144
Published 2021
Springer International Publishing
Table of Contents: “...Tableau Calculi -- Sequent Calculi -- Theorem Proving -- Formalized Proofs -- Non-Wellfounded...”
Cover Image
Read Now

145
Published 2023
Springer Nature Switzerland
Table of Contents: “... for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform...”
Cover Image
Read Now

146
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... images -- Towards possibilistic decision theory -- Measurement-theoretic frameworks for fuzzy set theory...”
Cover Image
Read Now

147
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... in romance languages -- The use of finite automata in the lexical representation of natural language...”
Cover Image
Read Now

148
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Toward a Perception-Based Theory of Probabilistic Reasoning -- Special Session:Granular Computing...”
Cover Image
Read Now

149
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
Springer Netherlands
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

150
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... for the Automated Synthesis of Customized Learning Designs -- On the Initialization of Two-Stage Clustering...”
Cover Image
Read Now

151
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Theory Perception (CTP), Rough-Fuzzy Uncertainty Analysis and Mining in Bioinformatics and Web...”
Cover Image
Read Now

152
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Rough Set Theory: Ontological Systems, Entailment Relations and Approximation Operators...”
Cover Image
Read Now

153
Published 2011
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

154
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Sets, Guarded Command Language, and Decision Rules -- Collaborative Query Processing in DKS Controlled...”
Cover Image
Read Now

155
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Nearest Local Hyperplane Rules for Pattern Classification -- Natural Language Processing...”
Cover Image
Read Now

156
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Models to Automate the Revision Stage of a CBR System -- Enhancing Consistency Based Diagnosis...”
Cover Image
Read Now

157
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear...”
Cover Image
Read Now

158
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers -- State Space...”
Cover Image
Read Now

159
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... and Dynamic Barrier Synchronization Using- Bounded Permissions -- SysML/MDD -- Formal Models of SysML Blocks...”
Cover Image
Read Now

160
by Padawitz, Peter
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... Program Transformations -- 3.4 A Store-based Language Interpreter -- 3.5 Binary Numbers -- 3.6 Decoding...”