Đang hiển thị 1 - 20 kết quả của 107 cho tìm kiếm '' Tinh chỉnh kết quả
  1. 1
    Được phát hành 1980
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
  2. 2
    Được phát hành 1982
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /
  3. 3
    Được phát hành 1984
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /
  4. 4
    Được phát hành 2006
    Connect to electronic resource
    Điện tử Hội nghị đang tiến hành eBook
    Lưu vào danh sách
    Đã lưu trong:
    Artificial intelligence and symbolic computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings /
  5. 5
    Được phát hành 1996
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings /
  6. 6
    Được phát hành 1993
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings /
  7. 7
    Được phát hành 2010
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    Aspects of mathematical logic : lectures given at the summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 /
  8. 8
    Được phát hành 1992
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings /
  9. 9
    Được phát hành 2005
    Connect to electronic resource
    Điện tử Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    Automated deduction, CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /
  10. 10
    Được phát hành 2007
    Connect to electronic resource
    Điện tử Hội nghị đang tiến hành eBook
    Lưu vào danh sách
    Đã lưu trong:
    Automated deduction, CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /
  11. 11
    Được phát hành 2006
    Connect to electronic resource
    Điện tử Hội nghị đang tiến hành eBook
    Lưu vào danh sách
    Đã lưu trong:
    Automated deduction in geometry 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. : revised papers /
  12. 12
    Được phát hành 2007
    Connect to electronic resource
    Điện tử Hội nghị đang tiến hành eBook
    Lưu vào danh sách
    Đã lưu trong:
    Automated deduction in geometry 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers /
  13. 13
    Được phát hành 1973
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers] /
  14. 14
    Được phát hành 1993
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27 1993 : proceedings /
  15. 15
    Được phát hành 1990
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    Computer logic : International Conference COLOG-88, Tallinn, USSR, December 1988 : proceedings /
  16. 16
    Được phát hành 2007
    Connect to electronic resource
    Điện tử Hội nghị đang tiến hành eBook
    Lưu vào danh sách
    Đã lưu trong:
    Computer science logic 21st international workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /
  17. 17
    Được phát hành 1991
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings /
  18. 18
    Được phát hành 1992
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings /
  19. 19
    Được phát hành 1993
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers /
  20. 20
    Được phát hành 1994
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
    Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /

Công cụ tìm kiếm: