Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 5613 kết quả
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
Tác giả: Marta Cialdea Mayer, Fiora Pirri
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2003.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Artificial Intelligence Applications and Innovations [electronic resource] : IFIP 18th World Computer Congress TC12 Firs...
Tác giả: Vladan Devedžic
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Automatic Quantum Computer Programming [electronic resource] : A Genetic Programming Approach
Tác giả: Lee Spector
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Artificial Immune Systems [electronic resource] : Third International Conference, ICARIS 2004, Catania, Sicily, Italy, S...
Tác giả: Peter John Bentley, Vincenzo Cutello, Giuseppe Nicosia, Jonathan Ian Timmis
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Combinatorial Pattern Matching [electronic resource] : 15th Annual Symposium, CPM 2004, Istanbul, Turkey, July 5-7, 2004...
Tác giả: Ugur Dogrusoz, S Muthukrishnan, Suleyman C Sahinalp
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.4
 
Biometric Authentication [electronic resource] : ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, M...
Tác giả: Anil K Jain, Davide Maltoni
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.4
 
Toward a Conceptual Framework for the Knowledge Bank
Tác giả: Laura Chioda
Xuất bản: World Bank, Washington, DC , 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.33
 
Global Trends in AI Governance
Tác giả:
Xuất bản: Washington, DC: World Bank , 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.3
 
Combinatorial Pattern Matching [electronic resource] : 11th Annual Symposium. CPM 2000, Montreal, Canada, June 21-23, 20...
Tác giả: Raffaele Giancarlo, David Sankoff
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2000.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.4
 
Automated Deduction - CADE-17 [electronic resource] : 17th International Conference on Automated Deduction Pittsburgh, P...
Tác giả: David McAllester
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2000.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 

Truy cập nhanh danh mục