熱門搜尋

    您輸入的關鍵字: Ruy J. G. B.

    分類(單選)
    配送方式(可複選)
    其他(可複選)
    ~

    搜尋結果共 6 筆, 頁數 1 / 1

    The Functional Interpretation of Logical Deduction

    The Functional Interpretation of Logical Deduction

    • 優惠價: 6600

    This comprehensive book provides an adequate framework to establish various calculi of logical infer... more

    Model Theory

    Model Theory

    • 優惠價: 14400

    Formal logic, free from the ambiguities of natural languages, is especially suited for use in comput... more

    Logic, Language, Information, and Computation: 29th International Workshop, Wollic 2023, Halifax, Ns, Canada, July 11-14, 2023, Proceedings

    Logic, Language, Information, and Computation: 29th International Workshop, Wollic 2023, Halifax, Ns, Canada, July 11-14, 2023, Proceedings

    • 優惠價: 4499

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book con... more

    Logic, Language, Information, and Computation: 28th International Workshop, Wollic 2022, Iași, Romania, September 20-23, 2022, Proceedings

    Logic, Language, Information, and Computation: 28th International Workshop, Wollic 2022, Iași, Romania, September 20-23, 2022, Proceedings

    • 優惠價: 3299

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book con... more

    Logic, Language, Information, and Computation: 24th International Workshop, Wollic 2017, London, Uk, July 18-21, 2017, Proceedings

    Logic, Language, Information, and Computation: 24th International Workshop, Wollic 2017, London, Uk, July 18-21, 2017, Proceedings

    • 優惠價: 3299

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book con... more

    Logic, Language, Information, and Computation: 21st International Workshop, Wollic 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

    Logic, Language, Information, and Computation: 21st International Workshop, Wollic 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

    • 優惠價: 3299

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book con... more

    搜尋推薦