Ցուցադրվում են 1 - 1 արդյունքները 1 այս փնտրման համար 'Kauers Manuel', հարցման ժամանակը: 0.02s Հստակեցնել արդյունքները
  1. 1
    Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings /

    Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Pr... ‌ Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria), Kauers, Manuel, SpringerLink (Online service)

    Հրապարակվել է 2007
    Ստացեք ամբողջական տեքստը

Որոնման գործիքներ: