by
Lee, Kent. author.
Format:
Electronic Resources
Excerpt:
Algebra -- Data processing.
by
Koppitz, J. author.
Format:
Electronic Resources
Excerpt:
Algebra.
View Other Search Results
by
Filliâtre, Jean-Christophe. editor.
Format:
Electronic Resources
Excerpt:
Algebra -- Data processing.
by
Altenkirch, Thorsten. editor.
Format:
Electronic Resources
Excerpt:
Algebra -- Data processing.
by
Miculan, Marino. editor.
Format:
Electronic Resources
Excerpt:
Algebra -- Data processing.
by
Baader, Franz. editor.
Format:
Electronic Resources
Excerpt:
Algebra -- Data processing.
by
Pfenning, Frank. editor.
Format:
Electronic Resources
Excerpt:
Algebra -- Data processing.
by
Voronkov, Andrei. editor.
Format:
Electronic Resources
Excerpt:
Algebra -- Data processing.
by
Giesl, Jürgen. editor.
Format:
Electronic Resources
Excerpt:
Algebra -- Data processing.
by
Trinder, Phil. editor.
Format:
Electronic Resources
Excerpt:
Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms -- Generic Graphical User Interfaces
by
Dunne, Steve. editor.
Format:
Electronic Resources
Excerpt:
Theories of Programming -- Mechanising a Unifying Theory -- Modal Design Algebra.
by
Davenport, James H. editor. (orcid)0000-0002-3982-7545
Format:
Electronic Resources
Excerpt:
Logic -- Number theory -- Combinatorics -- Algebra -- Analysis -- Geometry -- Inter-disciplinary
Limit Search Results
Narrowed by: