Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30

0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Uwe Egly, Christian G Fernmüller

Ngôn ngữ:

ISBN-13: 978-3540456162

Ký hiệu phân loại: 006.3 Artificial intelligence

Thông tin xuất bản: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.

Mô tả vật lý: X, 346 p. , online resource.

Bộ sưu tập: Tài liệu truy cập mở

ID: 317069

1.

Tạo bộ sưu tập với mã QR