Yazar
Wolfgang Windsteiger
2 cilt bulundu.
Cilt sonuçları
Towards Mechanized Mathematical Assistants
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger · Springer London, Limited
Sayfa sayısı yok · 2007
Algebra, data processing / Mathematical analysis / Logic, symbolic and mathematical / Knowledge management