Advances in Technological Applications of Logical and Intelligent Systems Selected Papers from the Sixth Congress on Logic Applied to Technology
Logic began as the science of valid inference and related topics. It gradually underwent profound changes, widening its initial scope and transforming itself into a mathematical discipline. Today it is a basic science, full of significant concepts and involved results (Goedel’s theorems, the theo...
Đã lưu trong:
| Những tác giả chính: | , , , |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
IOS Press
2013
|
| Những chủ đề: | |
| Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35307 |
| 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 |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-35307 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-353072014-01-20T00:01:16Z Advances in Technological Applications of Logical and Intelligent Systems Selected Papers from the Sixth Congress on Logic Applied to Technology Torres, Germano Lambert Abe, Jair Minoro Filho, João Inácio da Silva Martins, Helga Gonzaga Technology System Logic began as the science of valid inference and related topics. It gradually underwent profound changes, widening its initial scope and transforming itself into a mathematical discipline. Today it is a basic science, full of significant concepts and involved results (Goedel’s theorems, the theory of forcing, forking, the mathematics of Solovay, etc.) but its main value has always been theoretical 2013-08-30T07:17:35Z 2013-08-30T07:17:35Z 2009 Book 978-1-58603-936-3 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35307 en application/pdf IOS Press |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
English |
| topic |
Technology System |
| spellingShingle |
Technology System Torres, Germano Lambert Abe, Jair Minoro Filho, João Inácio da Silva Martins, Helga Gonzaga Advances in Technological Applications of Logical and Intelligent Systems Selected Papers from the Sixth Congress on Logic Applied to Technology |
| description |
Logic began as the science of valid inference and related topics. It gradually underwent
profound changes, widening its initial scope and transforming itself into a
mathematical discipline. Today it is a basic science, full of significant concepts and
involved results (Goedel’s theorems, the theory of forcing, forking, the mathematics of
Solovay, etc.) but its main value has always been theoretical |
| format |
Book |
| author |
Torres, Germano Lambert Abe, Jair Minoro Filho, João Inácio da Silva Martins, Helga Gonzaga |
| author_facet |
Torres, Germano Lambert Abe, Jair Minoro Filho, João Inácio da Silva Martins, Helga Gonzaga |
| author_sort |
Torres, Germano Lambert |
| title |
Advances in Technological
Applications of Logical and
Intelligent Systems
Selected Papers from the Sixth Congress on Logic Applied
to Technology |
| title_short |
Advances in Technological
Applications of Logical and
Intelligent Systems
Selected Papers from the Sixth Congress on Logic Applied
to Technology |
| title_full |
Advances in Technological
Applications of Logical and
Intelligent Systems
Selected Papers from the Sixth Congress on Logic Applied
to Technology |
| title_fullStr |
Advances in Technological
Applications of Logical and
Intelligent Systems
Selected Papers from the Sixth Congress on Logic Applied
to Technology |
| title_full_unstemmed |
Advances in Technological
Applications of Logical and
Intelligent Systems
Selected Papers from the Sixth Congress on Logic Applied
to Technology |
| title_sort |
advances in technological
applications of logical and
intelligent systems
selected papers from the sixth congress on logic applied
to technology |
| publisher |
IOS Press |
| publishDate |
2013 |
| url |
http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35307 |
| _version_ |
1757673281906802688 |