Công bố khoa học
Công cụ trích dẫn
Công bố khoa học
Trích dẫn
Tạp chí khoa học
Cơ quan đơn vị
Quản lý tài khoản
Danh mục đã lưu
Đăng xuất
The society of mind
Artificial Intelligence
- Tập 48
- Trang 335-339
- 1991
Matthew Ginsberg
1
1
Department of Computer Science, Stanford University, Margaret Jacks Hall, Stanford, CA 94305, USA
Đi đến bài gốc
Trích dẫn
Lưu lại
Báo lỗi
Tài liệu tham khảo
Finger, 1987, Exploiting constraints in design synthesis Green, 1969, Theorem proving by resolution as a basis for question-answering systems, 4, 183
Thông tin
DOI
:
10.1016/0004-3702(91)90033-g
Thông tin xuất bản
Nhà xuất bản:
Artificial Intelligence
Tập/Số:
Tập 48
Trang:
335-339
Thông tin tác giả