54 個結果

相關度 | 價格低到高 | 價格高到低
  1. COMPUTATIONAL LOGIC

    COMPUTATIONAL LOGIC

    10,260

    博客來

  2. COMPUTATIONAL LOGIC

    COMPUTATIONAL LOGIC

    10,199

    博客來

  3. COMPUTATIONAL LOGIC

    COMPUTATIONAL LOGIC

    10,199

    博客來

  4. COMPUTATIONAL LOGIC AND SET THEORY

    COMPUTATIONAL LOGIC AND SET THEORY

    3,498

    博客來

  5. COMPUTATIONAL LOGIC AND HUMAN THINKING

    COMPUTATIONAL LOGIC AND HUMAN THINKING

    8,400

    博客來

  6. COMPUTATIONAL LOGIC AND SET THEORY: APPLYING FORMALIZED LOGIC TO ANALYSIS

    COMPUTATIONAL LOGIC AND SET THEORY: APPLYING FORMALIZED LOGIC TO ANALYSIS

    3,299

    博客來

  7. COMPUTATIONAL LOGIC AND SET THEORY: APPLYING FORMALIZED LOGIC TO ANALYSIS

    COMPUTATIONAL LOGIC AND SET THEORY: APPLYING FORMALIZED LOGIC TO ANALYSIS

    3,299

    博客來

  8. TIME & LOGIC: A COMPUTATIONAL APPROACH

    TIME & LOGIC: A COMPUTATIONAL APPROACH

    2,939

    博客來

  9. TIME & LOGIC: A COMPUTATIONAL APPROACH

    TIME & LOGIC: A COMPUTATIONAL APPROACH

    6,600

    博客來

  10. COMPUTATIONAL PSYCHOANALYSIS AND FORMAL BI-LOGIC FRAMEWORKS

    COMPUTATIONAL PSYCHOANALYSIS AND FORMAL BI-LOGIC FRAMEWORKS

    12,900

    博客來

  11. TEMPORAL LOGIC: MATHEMATICAL FOUNDATIONS AND COMPUTATIONAL ASPECTS

    TEMPORAL LOGIC: MATHEMATICAL FOUNDATIONS AND COMPUTATIONAL ASPECTS

    15,000

    博客來

  12. TEMPORAL LOGIC: MATHEMATICAL FOUNDATIONS AND COMPUTATIONAL ASPECTS

    TEMPORAL LOGIC: MATHEMATICAL FOUNDATIONS AND COMPUTATIONAL ASPECTS

    11,590

    博客來

  13. COMPUTATIONAL LOGIC: VOLUME 1: CLASSICAL DEDUCTIVE COMPUTING WITH CLASSICAL LOGIC. SECOND EDITION

    COMPUTATIONAL LOGIC: VOLUME 1: CLASSICAL DEDUCTIVE COMPUTING WITH CLASSICAL LOGIC. SECOND EDITION

    1,733

    博客來

  14. PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC: A DECADE OF RESEARCH ADVANCES IN LOGIC-BASED PROGRAM DEVELOPMENT

    PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC: A DECADE OF RESEARCH ADVANCES IN LOGIC-BASED PROGRAM DEVELOPMENT

    6,450

    博客來

  15. FROM COMPUTATIONAL LOGIC TO COMPUTATIONAL BIOLOGY: ESSAYS DEDICATED TO ALFREDO FERRO TO CELEBRATE HIS SCIENTIFIC CAREER

    FROM COMPUTATIONAL LOGIC TO COMPUTATIONAL BIOLOGY: ESSAYS DEDICATED TO ALFREDO FERRO TO CELEBRATE HIS SCIENTIFIC CAREER

    3,899

    博客來

  16. COMPUTATIONAL ASPECTS OF AN ORDER-SORTED LOGIC WITH TERM DECLARATIONS

    COMPUTATIONAL ASPECTS OF AN ORDER-SORTED LOGIC WITH TERM DECLARATIONS

    2,999

    博客來

  17. LOGIC AND ALGORITHMS IN COMPUTATIONAL LINGUISTICS 2021 (LACOMPLING2021)

    LOGIC AND ALGORITHMS IN COMPUTATIONAL LINGUISTICS 2021 (LACOMPLING2021)

    10,799

    博客來

  18. AUTOMATION OF REASONING: CLASSICAL PAPERS ON COMPUTATIONAL LOGIC 1957-1966

    AUTOMATION OF REASONING: CLASSICAL PAPERS ON COMPUTATIONAL LOGIC 1957-1966

    6,599

    博客來

  19. COMPUTATIONAL LOGIC AND HUMAN THINKING: HOW TO BE ARTIFICIALLY INTELLIGENT

    COMPUTATIONAL LOGIC AND HUMAN THINKING: HOW TO BE ARTIFICIALLY INTELLIGENT

    3,059

    博客來

  20. APPLIED LOGIC FOR COMPUTER SCIENTISTS: COMPUTATIONAL DEDUCTION AND FORMAL PROOFS

    APPLIED LOGIC FOR COMPUTER SCIENTISTS: COMPUTATIONAL DEDUCTION AND FORMAL PROOFS

    2,999

    博客來