Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /

Mã QR

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	TPHOLs 2001 Edinburgh, Scotland)
Tác giả khác:	Boulton, Richard J., 1967-, Jackson, Paul B., 1962-
Định dạng:	Sách giấy
Được phát hành:	Berlin ; New York : Springer, c2001.
Loạt:	Lecture notes in computer science, 2152
Những chủ đề:	Automatic theorem proving > Congresses.
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
Bỡi: Chou, Shang-Ching, 1946-
Được phát hành: (1994)

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Được phát hành: (2001)

Theorem Proving in Higher Order Logics
Bỡi: Hurd, Joe, et al.
Được phát hành: (2020)

Theorem Proving in Higher Order Logics
Bỡi: Mohamed, Otmane Ait, et al.
Được phát hành: (2020)

Theorem Proving in Higher Order Logics
Bỡi: Schneider, Klaus, et al.
Được phát hành: (2020)

Logical approach to control theory and applications /
Bỡi: Vassilyev, Stanislav N.

Reading, Writing, and Proving
Bỡi: Daepp , Ulrich
Được phát hành: (2011)

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Được phát hành: (2001)

Modular forms and Fermat's last theorem /
Được phát hành: (1997)

Conditional and Preferential Logics: Proof Methods and Theorem Proving
Bỡi: Pozzato, Gian Luca
Được phát hành: (2013)

Parallel computing technologies : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings /
Được phát hành: (2001)

Interactive Theorem Proving
Bỡi: Ayala-Rincón, Mauricio, et al.
Được phát hành: (2020)

Intelligent virtual agents : third international workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 : proceedings /
Được phát hành: (2001)

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Được phát hành: (2001)

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Được phát hành: (2001)

Engineering of intelligent systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001 : proceedings /
Được phát hành: (2001)

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Được phát hành: (2001)

Limit theorems of probability theory : sequences of independent random variables.
Bỡi: Petrov, V. V.
Được phát hành: (1995)

CONTROLO’2014 – Proceedings of the 11th Portuguese Conference on Automatic Control
Bỡi: Moreira, António Paulo, et al.
Được phát hành: (2015)

Weighted deformation theorem for normal currents /
Bỡi: Takamura, Hiroyuki.

On Massera's theorem for anti-periodic solution /
Bỡi: Chen, Y. Q.

Fixed point theorems and nonlinear ergodic theorems for nonlinear semigroups and their applications /
Bỡi: Takahashi, Wataru.

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Được phát hành: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Được phát hành: (2001)

Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings /
Được phát hành: (2001)

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings /
Được phát hành: (2001)

Condorcet jury theorem or rational ignorance /
Bỡi: Kitahara, Minoru.

Extension of the Drasin-Shea-Jordan theorem /
Bỡi: Bingham, Nicholas H.

Mathematical Statistics and Limit Theorems
Bỡi: Hallin, M, et al.
Được phát hành: (2015)

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings /
Được phát hành: (2001)

A Liouville type theorem for weighted elliptic equations /
Bỡi: De Cicco, Virginia.

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Được phát hành: (2001)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Được phát hành: (2001)

Weierstrass approximation theorem via random - sumapproach
Bỡi: Trần, Lộc Hùng
Được phát hành: (2012)

Weierstrass approximation theorem via random-sum approach /
Bỡi: Trân Loc Hung.

Applications of Polyas theorem to distribution problems and partitions of integers /
Bỡi: Longani, V.

On the theory of KM2O-Langevin equations for stationary flows (1) : Characterization theorem /
Bỡi: Okabe, Yasunori.

Massera's theorem for almost periodic solutions of functional differential equations /
Bỡi: Satoru, Murakami.

Computer analysis of images and patterns : 9th international conference, CAIP 2001, Warsaw, Poland, September 5-7, 2001 : proceedings /
Được phát hành: (2001)

Coincidence theorems for the better admissible multimaps and their applications /
Bỡi: Park, Sehie.