Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
languages » language

1
by Campbell, Stephen L., Chancelier, Jean-Philippe, Nikoukhah, Ramine
Published 2010
Springer New York
Table of Contents: ... -- Examples -- 2 Scicos -- Getting Started -- Scicos Formalism -- Scicos Blocks -- Examples and Applications...

2
by Campbell, Stephen L., Chancelier, Jean-Philippe, Nikoukhah, Ramine
Published 2006
Springer New York
Table of Contents: ... -- Examples -- Scicos -- Getting Started -- Scicos Formalism -- Scicos Blocks -- Examples -- Batch Processing...