Đang hiển thị
1 - 1
kết quả của
1
cho tìm kiếm '
'
Chuyển đến nội dung
UPFind
0
cuốn sách
(Đầy đủ)
Ngôn ngữ
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Tất cả các trường
Tiêu đề
Tác giả
Chủ đề
Số hiệu
số ISBN/ISSN
Tìm kiếm
Nâng cao
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
Và
Logic design
AUTHOR:
Metcalfe, George
Hiển thị bộ lọc (4)
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
Và
Logic design
AUTHOR:
Metcalfe, George
Kết quả tìm kiếm
Đang hiển thị
1 - 1
kết quả của
1
cho tìm kiếm '
'
, thời gian truy vấn: 0.01s
Tinh chỉnh kết quả
Sắp xếp
Mức độ liên quan
Newest to Oldest
Oldest to Newest
Tác giả
Tiêu đề
Chọn trang | với đã chọn:
Email
Xuất
In
Thêm vào cặp sách
Chọn kết quả số 1
1
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
Xuất bản năm
Springer eBook.
(2011)
Số hiệu:
Đang tải...
Nằm:
Đang tải...
Available for University of the Philippines Diliman via SpringerLink.Click here to access
Electronic Resource
Thêm vào cặp sách
Xóa khỏi Túi Sách
Chọn trang | với đã chọn:
Email
Xuất
In
Thêm vào cặp sách
Công cụ tìm kiếm:
Nhận nguồn cấp dữ liệu RSS
—
Tìm kiếm email này
Trở lại
Tìm kiếm hẹp
CAMPUS
Diliman
1
DATABASE
Union Catalog (Buklod)
1
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
1
YEAR OF PUBLICATION
Từ ngày:
Tới ngày:
SUBJECT
Artificial intelligence
Automatic theorem proving -- Congresses
1
Computer science
1
Logic design
Software engineering
1
AUTHOR
Brünnler, Kai
1
Metcalfe, George
SpringerLink (Online service
1
RESOURCE TYPE
Electronic Resource
LANGUAGE
English
1
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Đang tải...