5 research outputs found

    数学と計算機科学の相互作用:計算代数とHaskellにおける安全性と拡張性

    Get PDF
    筑波大学 (University of Tsukuba)201

    Proceedings of the 4th International Conference on Principles and Practices of Programming in Java

    Full text link
    This book contains the proceedings of the 4th international conference on principles and practices of programming in Java. The conference focuses on the different aspects of the Java programming language and its applications

    Proof and Proving in Mathematics Education

    Get PDF
    undefine
    corecore