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

161
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... specifications in a persistent environment -- Publishing formal specifications in Z notation on world wide web...”
Cover Image
Read Now

162
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Scalable Incomplete Test for the Boundedness of UML RT Models -- Automatic Verification ofTime Sensitive...”
Cover Image
Read Now

163
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...An Extension Rule Based First-Order Theorem Prover -- An Extended Meta-model for Workflow Resource...”
Cover Image
Read Now

164
Published 2001
Springer US
Table of Contents: “.... Algebra -- 5 Picture Languages -- 1. Introduction -- 2. Formal languages for pictorial pattern recognition...”
Cover Image
Read Now

165
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Representation of the RCS Reference Model Architecture Using an Architectural Description Language -- Conceptual...”
Cover Image
Read Now

166
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Optimizing storage size for static control programs in automatic parallelizers -- Optimal...”
Cover Image
Read Now

167
Published 2015
Springer International Publishing
Table of Contents: “... for Translating from the Polish Natural Language into the Sign Language -- Graph-Based Semi-supervised Learning...”
Cover Image
Read Now

168
by Richter, Michael M., Paul, Sheuli, Këpuska, Veton, Silaghi, Marius
Published 2022
Springer International Publishing
Table of Contents: “... Function -- 2.6 Parseval’s Theorem --...”