Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
languages » language
automated theory » automated theorem, automata theory, automatic theorem
languages » language
|
by Campbell, Stephen L., Chancelier, Jean-Philippe, Nikoukhah, Ramine
Published 2010
Table of Contents:
“... -- Examples -- 2 Scicos -- Getting Started -- Scicos Formalism -- Scicos Blocks -- Examples and Applications...”Published 2010
Springer New York
|
by Campbell, Stephen L., Chancelier, Jean-Philippe, Nikoukhah, Ramine
Published 2006
Table of Contents:
“... -- Examples -- Scicos -- Getting Started -- Scicos Formalism -- Scicos Blocks -- Examples -- Batch Processing...”Published 2006
Springer New York