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

101
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... and Enumeration for Automatic Sequences: A Survey -- Walking on Data Words -- Careful Synchronization of Partial...”
Cover Image
Read Now

102
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Sentence and Text Comprehension: Evidence from Human Language Processing...”
Cover Image
Read Now

103
Published 2016
Springer International Publishing
Table of Contents: “... Information from Corporate Documents into Controlled Language -- Using Semantic Frames for Automatic...”
Cover Image
Read Now

104
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... of Documents -- Analyzing Document Collections via Context-Aware Term Extraction -- AIR: A Semi-Automatic...”
Cover Image
Read Now

105
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation...”
Cover Image
Read Now

106
by Baumgartner, Peter
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...1. Introduction -- 2. Logical Background -- 3. Tableau Model Elimination -- 4. Theory Reasoning...”
Cover Image
Read Now

107
Published 2019
Springer International Publishing
Table of Contents: “... -- Consistency as a Branching Time Notion -- Finite choice, convex choice and sorting -- The number of languages...”
Cover Image
Read Now

108
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Formal to Practical Security -- Verification of Security Protocols with a Bounded Number...”
Cover Image
Read Now

109
Published 2010
Springer US
Table of Contents: “... -- Using the Maude Term Rewriting Language for Agent Development with Formal Foundations -- The Cognitive...”
Cover Image
Read Now

110
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Automatic Text Summarization Using a Machine Learning Approach -- Towards a Theory Revision Approach...”
Cover Image
Read Now

111
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Programming Language -- Distance-Based Repairs of Databases -- Natural Deduction Calculus for Linear-Time...”
Cover Image
Read Now

112
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- An Ensemble of Case-Based Classifiers for High-Dimensional Biological Domains -- Language Games: Solving...”
Cover Image
Read Now

113
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... for the Content-Based Representation of Information -- Formal Methods in Robotics -- Multi-agent Systems -- Games...”
Cover Image
Read Now

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

115
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Homomorphism -- Languages Recognized with Unbounded Error by Quantum Finite Automata...”
Cover Image
Read Now

116
Published 2000
Springer Berlin Heidelberg
Table of Contents: “..., Linguistic Theories, and Natural Language Processing -- A Comparison of Rule-Based and Machine Learning...”
Cover Image
Read Now

117
Published 2020
Springer International Publishing
Table of Contents: “...Statistical Analysis and Automatic Recognition of Grammatical Errors in Teaching Chinese as a...”
Cover Image
Read Now

118
Published 1983
Springer Berlin Heidelberg
Table of Contents: “... -- An Inverse Method for Establishing Deducibility of Nonprenex Formulas of the Predicate Calculus -- Automatic...”
Cover Image
Read Now

119
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...On the Automatization of Database Conceptual Modelling through Linguistic Engineering -- Technical...”
Cover Image
Read Now

120
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages...”