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

41
Published 2015
Springer International Publishing
Table of Contents: “... -- Formalization of ZSyntax to reason about Molecular Pathways in HOL4 -- Test Case Selection Criteria for Symbolic...”
Cover Image
Read Now

42
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... for scientific computation with exact evaluation of expressions -- Algorithmic methods in automatic programming...”
Cover Image
Read Now

43
Published 2016
Springer International Publishing
Table of Contents: “... -- Automatic generation of test cases and test purposes from natural language -- Time Performance Formal...”
Cover Image
Read Now

44
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... -- Derived preconditions and their use in program synthesis -- Automatic construction of special purpose...”
Cover Image
Read Now

45
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... bibliographical guide -- Formal languages & word-rewriting -- Rewriting and tree automata -- On efficient...”
Cover Image
Read Now

46
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... church-rosser Thue systems -- Two applications of equational theories to database theory -- An experiment...”
Cover Image
Read Now

47
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Theory of domains and nearby -- Predicative programming — A survey -- A three-valued logic...”
Cover Image
Read Now

48
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

49
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Collections -- Automatic Acquisition of Transfer Rules from Translation Examples -- Automatic Assessment...”
Cover Image
Read Now

50
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... and References -- Proof Abstraction for Imperative Languages -- Reading, Writing and Relations -- Session 3 -- A...”
Cover Image
Read Now

51
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...-Typed Language -- Session 6 -- Protocol Specialization -- Automatic Generation of Editors for Higher...”
Cover Image
Read Now

52
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Unknown Light Verb Construction in Korean-to-English Patent MT -- Trees as Contexts in Formal Language...”
Cover Image
Read Now

53
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... and Generation -- Speech Enhancement -- Acoustic Modeling for Automatic Speech Recognition -- Robust Speech...”
Cover Image
Read Now

54
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...A Natural Language Dialogue Manager for Accessing Databases -- Helping the Composition of Help...”
Cover Image
Read Now

55
Published 2016
Springer International Publishing
Table of Contents: “... and Open Problems -- Satisfiability Checking: Theory and Applications -- Concurrency and Non-Interference...”
Cover Image
Read Now

56
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- A Novel Composite Kernel Approach to Chinese Entity Relation Extraction -- Automatic Acquisition...”
Cover Image
Read Now

57
Published 2017
Springer International Publishing
Table of Contents: “...Language and information extraction -- Post-processing and applications of automatic transcriptions...”
Cover Image
Read Now

58
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Aspect Specifications -- An MDA Approach Towards Integrating Formal and Informal Modeling Languages...”
Cover Image
Read Now

59
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... languages -- A logic-based approach to data flow analysis problems -- Systematic semantic approximations...”
Cover Image
Read Now

60
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... generate process topologies in Eden -- ProFun — A Language for executable specifications -- From term...”