Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
محفوظ في:
| مؤلف مشترك: | TPHOLs 2001 Edinburgh, Scotland) |
|---|---|
| مؤلفون آخرون: | Boulton, Richard J., 1967-, Jackson, Paul B., 1962- |
| التنسيق: | Sách giấy |
| منشور في: |
Berlin ; New York :
Springer,
c2001.
|
| سلاسل: | Lecture notes in computer science,
2152 |
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
مواد مشابهة
-
Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
بواسطة: Chou, Shang-Ching, 1946-
منشور في: (1994) -
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
منشور في: (2001) -
Theorem Proving in Higher Order Logics
بواسطة: Hurd, Joe, وآخرون
منشور في: (2020) -
Theorem Proving in Higher Order Logics
بواسطة: Mohamed, Otmane Ait, وآخرون
منشور في: (2020) -
Theorem Proving in Higher Order Logics
بواسطة: Schneider, Klaus, وآخرون
منشور في: (2020)


