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

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

162
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Semantics of Programming Languages: Combinators and Monads -- Formal Approach to Railway Applications...”
Cover Image
Read Now

163
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Scientific Papers -- Language-Oriented Machine Learning -- Mapping an Automated Survey Coding Task into a...”
Cover Image
Read Now

164
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Propagation for Dempster-Shafer Belief Functions -- On bottom-up pre-processing techniques for automated...”
Cover Image
Read Now

165
by Śmiałek, Michał, Nowakowski, Wiktor
Published 2015
Springer International Publishing
Table of Contents: “... Language -- 3. Defining RSL -- 4. Explaining RSL with Java -- 5. Understanding Model Transformations -- 6...”
Cover Image
Read Now

166
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...Formal methods for automated program improvement -- Adapting methods to novel tasks in proof...”
Cover Image
Read Now

167
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... control of approximate reasoning: A decision theoretic approach -- Formal models of selection in genetic...”
Cover Image
Read Now

168
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... Möbius transforms of monotone capacities -- Automated reasoning with merged contradictory information...”
Cover Image
Read Now

169
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... for analyzing graph grammars -- An algebraic theory of graph reduction -- Programming with very large graphs...”
Cover Image
Read Now

170
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... the Software Development Process by Formal Methods -- Regular Papers -- Formal Program Development in Geometric...”
Cover Image
Read Now

171
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... in Formal Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon TM...”
Cover Image
Read Now

173
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...-order theory -- Restricting the complexity of regular DNLC languages -- Apex graph grammars -- Graph...”
Cover Image
Read Now

174
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques -- A Methodology for the Formal...”
Cover Image
Read Now

175
by Platzer, André
Published 2018
Springer International Publishing
Table of Contents: “... and CPS -- Differential Invariants and Proof Theory -- Verified Models and Verified Runtime Validation...”
Cover Image
Read Now

176
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Discovery in Predicate Abstraction -- Automated Abstraction Refinement for Model Checking Large State Spaces...”
Cover Image
Read Now

177
Published 2024
Springer Nature Switzerland
Table of Contents: “...Specification and Modeling Languages -- A Formal Model for Startups Financial Transactions -- A...”
Cover Image
Read Now

179
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... theory -- The limit of splitn-language equivalence -- Divergence and fair testing -- Causality for mobile...”
Cover Image
Read Now

180
Published 2016
Springer Berlin Heidelberg
Table of Contents: “...-transitive rough sets -- covering rough sets and formal topology – a uniform approach through intensional...”