Search alternatives:
automation theory » estimation theory, animation theory, automated theory
languages » language
automata » automated, automatic
Cover Image
Read Now

141
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

142
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Toward a Perception-Based Theory of Probabilistic Reasoning -- Special Session:Granular Computing...”
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 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

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

148
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

149
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

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

151
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

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

153
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

154
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...”
Cover Image
Read Now

155
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Patterns for B: Bridging Formal and Informal Development -- Time Constraint Patterns for Event B...”
Cover Image
Read Now

156
Published 2018
Springer International Publishing
Table of Contents: “...What Good are Models -- Formal Design, Implementation and Verification of Blockchain Languages...”
Cover Image
Read Now

157
Published 2019
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

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

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

160
Published 2016
Springer International Publishing
Table of Contents: “... complexity -- Cryptography -- Combinatorics in computer science -- Formal languages and automata...”