Výsledky vyhledávání - ((abstract OR abstracts) OR abstraktu) and automatizacion computability and recursion theory

Jean van Heijenoort's Conception of Modern Logic, in Historical Perspective.

Autoři: Anellis, Irving

Zdroj: Logica Universalis; Dec2012, Vol. 6 Issue 3/4, p339-409, 71p

Computer Aided Systems Theory - EUROCAST 2009

Autoři: Roberto Moreno Díaz Franz Pichler Alexis Quesada Arencibia

Resource Type: eBook.

Témata: Computer-aided engineering--Congresses, Computer-aided design--Congresses

Categories: COMPUTERS / Computer Simulation, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Design, Graphics & Media / CAD-CAM, COMPUTERS / Image Processing, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition

Industrial Engineering in the Industry 4.0 Era : Selected Papers From ISPR2023, October 5-7, 2023, Antalya

Autoři: Numan M. Durakbasa M. Güneş Gençyılmaz

Resource Type: eBook.

Témata: Manufactures, Industrial Management, Internet of things, Computer-aided engineering, Engineering design

Categories: TECHNOLOGY & ENGINEERING / Manufacturing, BUSINESS & ECONOMICS / Industrial Management, COMPUTERS / Design, Graphics & Media / CAD-CAM, COMPUTERS / Networking / General, TECHNOLOGY & ENGINEERING / Industrial Engineering, TECHNOLOGY & ENGINEERING / Industrial Design / General

Publishers' International ISBN Directory 2015

Autoři: International ISBN Agency

Resource Type: eBook.

Categories: REFERENCE / Directories, REFERENCE / General, SCIENCE / General

Agent and Multi-Agent Systems: Technologies and Applications : First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31-June 1, 2007, Proceedings

Autoři: Adam Grzech

Resource Type: eBook.

Témata: Intelligent agents (Computer software)--Industrial applications--Congresses, Distributed artificial intelligence--Congresses, Intelligent agents (Computer software)--Congresses, Intelligent agents (Computer software)--Technological innovations--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Data Science / Data Analytics, COMPUTERS / User Interfaces, COMPUTERS / Social Aspects, COMPUTERS / Human-Computer Interaction (HCI), MATHEMATICS / Probability & Statistics / General

MICAI 2005: Advances in Artificial Intelligence : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings

Autoři: Alexander Gelbukh Hugo Terashima

Resource Type: eBook.

Témata: Artificial intelligence--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition