Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /

Mã QR

Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /

Đã lưu trong:

Chi tiết về thư mục
Tác giả khác:	Rich, Charles, 1951-, Swartout, William R.
Định dạng:	Sách giấy
Được phát hành:	San Francisco, Calif. : M. Kaufmann, c2002.
Loạt:	The Morgan Kaufmann series in representation and reasoning,
Những chủ đề:	Knowledge representation (Information theory) > Congresses. Logic, Symbolic and mathematical > Congresses. Reasoning > 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ự

Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
Được phát hành: (2001)

Homotopy theory via algebraic geometry and group representations : proceedings of a Conference on Homotopy Theory, March 23-27, 1997, Northwestern University /
Được phát hành: (1998)

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

Principles of data mining and knowledge discovery : Second European Symposium, PKDD '98, Nantes, France, September 23-26, 1998 : proceedings /
Được phát hành: (1998)

Concepts, ontologies, and knowledge representation
Bỡi: Jakus, Grega

Information theory statistical decision functions random processes: Transactions of the eleventh prague conference held from August 27-31,1990: Vol.A
Được phát hành: (1990)

Information theory statistical decision functions random processes: Transactions of the eleventh prague conference held from August 27-31,1990: Vol.B
Bỡi: Prague Conference on Information Theory
Được phát hành: (1990)

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)

Manifolds-Tokyo, 1973 : proceedings of the International Conference on Manifolds and Related Topics in Topology, Tokyo, 1973 /
Được phát hành: (1975)

Automata, languages and programming : 28th international colloquium, ICALP 2001, M⡬aga, Spain, July 8-13, 2002 : proceedings /
Được phát hành: (2001)

Number theoretic methods : future trends /
Được phát hành: (2002)

Advances in dynamics, instrumentation and control : proceedings of the 2004 International Conference (CDIC '04) : Nanjing, China, 18-20 August, 2004 /
Được phát hành: (2004)

Finite fields with applications to coding theory, cryptography, and related areas : proceedings of the Sixth International Conference on Finite Fields and Applications, held at Oaxaca, México, May 21-25, 2001 /
Được phát hành: (2002)

Finite fields with applications to coding theory, cryptography, and related areas : proceedings of the Sixth International Conference on Finite Fields and Applications, held at Oaxaca, Mexico, May 21-25, 2001 /
Được phát hành: (2002)

Finite fields with applications to coding theory, cryptography, and related areas : proceedings of the Sixth International Conference on Finite Fields and Applications, held at Oaxaca, Mexico, May 21-25, 2001 /
Được phát hành: (2002)

Abstract and applied analysis : proceedings of the international conference, Hanoi, Vietnam, 13-17 August 2002 /
Được phát hành: (2004)

Abstract and applied analysis : proceedings of the international conference, Hanoi, Vietnam, 13-17 August 2002 /
Được phát hành: (2004)

Natural language processing and knowledge representation : language for knowledge and knowledge for language /
Được phát hành: (2000)

European Women in Mathematics : proceedings of the tenth general meeting, Malta, 24-30 August 2001 /
Được phát hành: (2003)

Proceedings of the workshop semigroups and languages
Được phát hành: (2004)

Advances in scattering and biomedical engineering : proceedings of the Sixth International Workshop, Tsepelovo, Greece, 18-21 September 2003 /
Được phát hành: (2004)

Trends in complex analysis, differential geometry, and mathematical physics : proceedings of the 6th International Workshop on Complex Structures and Vector Fields : St. Konstantin, Bulgaria, 3-6 September 2002 /
Được phát hành: (2003)

Acoustics, mechanics, and the related topics of mathematical analysis : CAES du CNRS, Frejus, France, 18-22 June 2002 /
Được phát hành: (2002)

Endophysics, time, quantum, and the subjective : proceedings of the ZIF Interdisciplinary Research Workshop, 17-22 January 2005, Bielefeld, Germany /
Được phát hành: (2005)

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Được phát hành: (2002)

Public-key cryptography and computational number theory : proceedings of the international conference organized by the Stefan Banach International Mathematical Center, Warsaw, Poland, September 11-15, 2000 /
Được phát hành: (2001)

Strong coupling gauge theories and effective field theories : proceedings of the 2002 international workshop /
Được phát hành: (2003)

Proceedings of the 4th International Conference on Ground Improvement Techniques : 26-28 March 2002, Kuala Lumpur, Malaysia /
Được phát hành: (2002)

Proceedings of the 4th International Conference on Ground Improvement Techniques : 26-28 March 2002, Kuala Lumpur, Malaysia /
Được phát hành: (2002)

Proceedings /
Được phát hành: (1971)

Graph drawing : 8th International Symposium, GD 2000, Colonial Williamsburg, Va, USA, September 20-23, 2000 : proceedings /
Được phát hành: (2001)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Được phát hành: (2002)

Hydroinformatics : Proceedings of the 6th International Conference on Singapore, 21-24 June 2004.
Được phát hành: (2004)

Hydroinformatics : Proceedings of the 6th International Conference on Singapore, 21-24 June 2004.
Được phát hành: (2004)

NSTAR 2002 : proceedings of the Workshop on the Physics of Excited Nucleons.
Được phát hành: (2002)

Spectral theory and nonlinear analysis with applications to spatial ecology : Universidad Complutense de Madrid, Spain, 14-15 June 2004 /
Được phát hành: (2005)

Classification of algebraic and analytic manifolds : Katata symposium proceedings 1982 /
Được phát hành: (1983)

Difference equations and discrete dynamical systems : proceedings of the 9th International Conference, University of Southern California, Los Angeles, California, USA, 2-7 August 2004 /
Được phát hành: (2005)

"WASCOM 2003" : 12th Conference on Waves and Stability in Continuous Media : Villasimius (Cagliari), Italy, 1-7 June 2003 /
Được phát hành: (2004)

Quantum Probability and Infinite Dimensional Analysis /
Được phát hành: (2003)