Non-standard inferences in description logics /

Mã QR

Non-standard inferences in description logics /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Kusters, Ralf.
Định dạng:	Sách giấy
Được phát hành:	Berlin ; New York : Springer, c2001.
Loạt:	Lecture notes in computer science ; 2100. Lecture notes in computer science. Lecture notes in artificial intelligence.
Những chủ đề:	Description logics.
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ự

The description logic handbook: Theory, implementions and applications
Được phát hành: (2003)

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)

The logical foundations of Bradley's metaphysics: Judgment, inference, and truth
Bỡi: Allard, James W
Được phát hành: (2013)

Bibliographic description and access :
Bỡi: Taylor, Alice
Được phát hành: (2002)

Problems in descriptive geometry
Bỡi: Kh Arustamov
Được phát hành: (1980)

Bibliogrraphic description and access ( LTIS023 )
Bỡi: Alice Taylor
Được phát hành: (2004)

Guidelines for soil description
Được phát hành: (2006)

Fundamentals of digital logic with VHDL design
Bỡi: Brown, Stephen D.
Được phát hành: (2009)

Fundamentals of digital logic with VHDL design /
Bỡi: Brown, Stephen D.
Được phát hành: (2000)

An introduction to non-classical logic
Bỡi: Priest, Graham
Được phát hành: (2001)

Conditionals, Information, and Inference
Được phát hành: (2020)

Advances in artificial intelligence : 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001 : proceedings /
Được phát hành: (2001)

Perfect phrases for writing job descriptions :
Bỡi: Martin, Carole
Được phát hành: (2010)

Description Logics in Multimedia Reasoning. 1st ed. 2017
Bỡi: Sikos, Leslie F.
Được phát hành: (2020)

Chart description and a new proof of the classification theorem of genus one Lefschetz fibrations /

Logic học :
Bỡi: Lê, Ngọc Triết
Được phát hành: (2013)

Hegel's logic :
Bỡi: Hegel, Georg Wilhelm Friedrich
Được phát hành: (1975)

Learn descriptive cataloging
Bỡi: Mortimer, Mary
Được phát hành: (2000)

Fundamentals of digital logic with VHDL design
Bỡi: Brown, Stephen D.
Được phát hành: (2005)

Fundamentals of digital logic with VHDL design
Bỡi: Brown, Stephen D.
Được phát hành: (2005)

The power of logic
Bỡi: Layman, C. Stephen
Được phát hành: (2005)

Lôgic học
Bỡi: Vương, Tất Đạt
Được phát hành: (2001)

Lôgic học
Bỡi: Vương, Tất Đạt
Được phát hành: (1998)

Logic học và phương pháp
Bỡi: Lê, Tử Thành
Được phát hành: (1991)

Tập bài giảng logic học
Bỡi: Lê, Duy Ninh
Được phát hành: (2014)

Diagrammatic Representation and Inference
Bỡi: Chapman, Peter, et al.
Được phát hành: (2020)

Logic
Bỡi: Wesley C. Salmon
Được phát hành: (1984)

Logic
Bỡi: Priest, Graham
Được phát hành: (2000)

Logics
Bỡi: Nolt, John
Được phát hành: (1997)

Fundamentals of logic design
Bỡi: Roth, Charles H

Symbolic logic
Bỡi: Agler, David W
Được phát hành: (2013)

Tìm hiểu lôgic học
Bỡi: Lê, Tử Thành
Được phát hành: (1991)

Lôgic học đại cương
Bỡi: Vương, Tất Đạt
Được phát hành: (1998)

Logic học đại cương
Bỡi: Nguyễn, Như Hải
Được phát hành: (2014)

Lôgic học đại cương
Bỡi: Vương, Tất Đạt
Được phát hành: (2010)

Giáo trình logic học
Bỡi: Lê, Thanh Thập
Được phát hành: (2013)

Lôgic học đại cương
Bỡi: Vương, Tất Đạt
Được phát hành: (1998)

Logic học đại cương :
Bỡi: Phạm, Quỳnh
Được phát hành: (2014)

Lôgic học
Bỡi: Vương, Tất Đạt
Được phát hành: (2000)

Introduction to logic design
Bỡi: Marcovitz, Alan B.
Được phát hành: (2002)