Software for Evaluating Relevance of Steps in Algebraic Transformations?

Prank, Rein (2013). Software for Evaluating Relevance of Steps in Algebraic Transformations? Intelligent Computer Mathematics: Conferences in Intelligent Mathematics, Bath, July 8-12, 2013. Ed. Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. Springer, 374−378. (Lecture Notes in Artificial Intelligence; 7961).
publitseeritud konverentsiettekanne
Prank, Rein
  • Inglise
Tarkvara algebralste teisenduste sammude sobivuse kontrollimiseks
Intelligent Computer Mathematics
Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W.
Conferences in Intelligent Mathematics, Bath, July 8-12, 2013
Springer
0302-9743
978-3-642-39319-8
Lecture Notes in Artificial Intelligence
7961
2013
374378
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile