Explore Books on
algebraische methode

Lectures on algebraic statistics

By Mathias Drton

Algebraic methodology and software technology

By International Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa)

Algebraic methods

By M. Wirsing,J. A. Bergstra

Algebraic Methodology and Software Technology

By AMAST <13, 2010, Lac Beauport, Québec>

Algebraische Algorithmen zur Lösung von linearen Differentialgleichungen

By Winfried Fakler

Discrete Algebraic Methods

By Ulrich Hertrampf,Manfred Kufleitner,Gerhard Rosenberger

Adapting proofs-as-programs

By Iman Hafiz Poernomo,Martin Wirsing

Algebraic Methodology And Software Technology 12th International Conference Amast 2008 Urbana Il Usa July 2831 2008 Proceedings

By Josa(c) Meseguer