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

281
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- Degrees of formality in shallow embedding hardware description languages in HOL -- A functional approach...”
Cover Image
Read Now

282
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Knowledge Reduction in Generalized Consistent Decision Formal Contexts -- Graphical Representation...”
Cover Image
Read Now

283
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... to Propositional Logic -- CR-Prolog as a Specification Language for Constraint Satisfaction Problems -- Modeling...”
Cover Image
Read Now

284
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...A Learning-Based Model for Semantic Mapping from Natural Language Questions to OWL -- Filtering...”
Cover Image
Read Now

285
by Jay, Barry
Published 2009
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

286
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Language for Data Structures -- Using Nondeterminism to Design Efficient Deterministic Algorithms...”
Cover Image
Read Now

287
Published 2017
Springer International Publishing
Table of Contents: “...Automatic Classification and Recommendation -- Cultural Heritage and Indigenous Knowledge -- Data...”
Cover Image
Read Now

288
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... and the Influence of Syntactic and Semantic Information on Discourse Prominence -- Language Analysis...”
Cover Image
Read Now

289
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...: Object-Oriented Database Management Systems -- ROL2: A Real Deductive Object-Oriented Database Language...”
Cover Image
Read Now

290
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... tools based on stålmarck's method -- Formal verification — Applications & case studies -- Automatic...”
Cover Image
Read Now

291
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Order-Sensitive View Maintenance of Materialized XQuery Views -- Automatic Generation of XQuery...”
Cover Image
Read Now

292
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Use of Tabular Analysis Method to Construct UML Sequence Diagrams -- An Approach to Formalizing...”
Cover Image
Read Now

293
by Wachsmuth, Henning
Published 2015
Springer International Publishing
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

294
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...A Modular Checker for Multithreaded Programs -- Timing Analysis -- Automatic Derivation of Timing...”
Cover Image
Read Now

295
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Automata-Based Verification -- Enhanced Vacuity Detection in Linear Temporal Logic -- Bridging the Gap...”
Cover Image
Read Now

296
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...The Ubiquitous Digital Tree -- Flat Holonomies on Automata Networks -- Interprocedurally Analyzing...”
Cover Image
Read Now

297
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- From duration calculus to linear hybrid automata -- Local model checking for real-time systems...”
Cover Image
Read Now

298
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Automatically Exploiting Symmetries in Constraint Programming -- New Structural Decomposition Techniques...”
Cover Image
Read Now

299
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Mechanical Verification of SAT Refutations with Extended Resolution -- Formalizing Bounded Increase...”
Cover Image
Read Now

300
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Java Virtual Machine Interpreters -- Automatic Removal of Array Memory Leaks in Java -- A Static Study...”