Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1 - 10 kết quả của 10 cho tìm kiếm '', thời gian truy vấn: 0.01s Tinh chỉnh kết quả
  1. 1
    Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory /
    Sách
    Bằng Hailperin, Theodore
    Được phát hành 1976
    Lưu vào danh sách
    Đã lưu trong:
  2. 2
    Ordinal algebras;
    Sách
    Bằng Tarski, Alfred
    Được phát hành 1956
    Lưu vào danh sách
    Đã lưu trong:
  3. 3
    Boolean algebra revisited : a monograph on Boolean algebra, revisited for the benefit of digital circuit designers /
    Sách
    Bằng Warren-Smith, David N. (David Noel)
    Được phát hành 2002
    Lưu vào danh sách
    Đã lưu trong:
  4. 4
    Proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1990
    Lưu vào danh sách
    Đã lưu trong:
  5. 5
    Algebraic and logic programming : 5th international conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1996
    Lưu vào danh sách
    Đã lưu trong:
  6. 6
    An algebraic introduction to mathematical logic /
    Sách
    Bằng Barnes, D. W. (Donald W.), 1935-
    Được phát hành 1975
    Lưu vào danh sách
    Đã lưu trong:
  7. 7
    Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1994
    Lưu vào danh sách
    Đã lưu trong:
  8. 8
    Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings /
    Hội nghị đang tiến hành Sách
    Được phát hành 1990
    Lưu vào danh sách
    Đã lưu trong:
  9. 9
    Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings /
    Sách
    Được phát hành 1988
    Lưu vào danh sách
    Đã lưu trong:
  10. 10
    Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings /
    Sách
    Được phát hành 1992
    Lưu vào danh sách
    Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS – Tìm kiếm email này – Lưu tìm kiếm