Workshop B7: "Symbolic Analysis" im Rahmen der FoCM'14
Sprache des Titels:
Deutsch
Englische Kurzfassung:
Symbolic Analysis @ FoCM'14
December 15-17th, 2014
Montevideo, Uruguay
The workshop is part of the triennial conference organized by the society for Foundations of Computational Mathematics hosted in Montevideo, December 11-20th, 2014.