Automated Theorem Proving: A Logical Basis

Thảo luận trong 'Học tập' bởi ebooksShare, 20/5/2024.

Tags:
  1. ebooksShare

    ebooksShare Thành viên kỳ cựu

    Tham gia:
    19/5/2024
    Bài viết:
    8,864
    Đã được thích:
    0
    Điểm thành tích:
    86
    Link Download ebook Free: https://ouo.io/xTtRDb
    [​IMG]
    Automated Theorem Proving: A Logical Basis
    By: D.W. Loveland
    Publisher:
    North Holland
    Print ISBN: 9780720404999, 0720404991
    eText ISBN: 9781483296777, 1483296776
    Copyright year: 1978
    Format: PDF
    Available from $ 72.95 USD
    SKU 9781483296777
    Automated Theorem Proving: A Logical Basis
     

    Xem thêm các chủ đề tạo bởi ebooksShare
    Đang tải...


    Các chủ đề tương tự:

    ebooksShare, 20/5/2024
    #1

Chia sẻ trang này