Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28-August 2, 2003 Proceedings

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28-August 2, 2003 Proceedings

Библиографические подробности
Другие авторы:	Baader F. Franz (редактор)
Язык:	английский
Опубликовано:	Berlin, Springer-Verlag, 2003
Предметы:	программирование математика математическое программирование теория конференции английский язык
Формат:	Книга
Запись в KOHA:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=141189

Схожие документы

Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
Опубликовано: (2024)

The Logical Deduction of Chinese Traditional Political Philosophy
по: Zhang, Shiwei
Опубликовано: (2022)

Topology Deduction and Control for Dual-Active-Bridge Converters
по: Xu, Guo, и др.
Опубликовано: (2024)

Care-Based Reasoning Research and Development: 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, july 30-august 2, 2001 Proceedings
Опубликовано: (Berlin, Springer-Verlag, 2001)

Cade
по: Chase J. H. James Hadley
Опубликовано: (Москва, Айрис-пресс, 2007)

Implementation and Application of Automata: 7th. International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers
Опубликовано: (Berlin, Springer-Verlag, 2003)

Miami’s Forgotten Cubans Race, Racialization, and the Miami Afro-Cuban Experience /
по: Aja, Alan A.
Опубликовано: (2016)

Вып. 19; Кибернетический сборник. Новая Серия
Опубликовано: (1983)

Automation 2019 Progress in Automation, Robotics and Measurement Techniques /
Опубликовано: (2020)

Automation 2024: Advances in Automation, Robotics and Measurement Techniques
Опубликовано: (2024)

Beaches and Coastal Geology
Опубликовано: (Berlin, Springer Berlin Heidelberg, 1982)

Automation 2021: Recent Achievements in Automation, Robotics and Measurement Techniques
Опубликовано: (2021)

Automation 2023: Key Challenges in Automation, Robotics and Measurement Techniques
Опубликовано: (2023)

Condensed Matter Nuclear Science: Proceedings of The 10-th. International Conference on Cold Fusion, Cambridge, Massachusetts, USA, 24-29 August 2003
Опубликовано: (New Jersey, World Scientific, 2006)

Proceedings of 2019 Chinese Intelligent Automation Conference
Опубликовано: (2020)

Proceedings of 2021 Chinese Intelligent Automation Conference
Опубликовано: (2022)

Proceedings of 2023 Chinese Intelligent Automation Conference
Опубликовано: (2023)

Informatics in Control, Automation and Robotics 19th International Conference, ICINCO 2022 Lisbon, Portugal, July 14-16, 2022 Revised Selected Papers /
Опубликовано: (2023)

Springer Handbook of Automation
Опубликовано: (2023)

Automation and Human Solidarity
по: Jordan, Bill
Опубликовано: (2020)

Advances in Automated Negotiations
Опубликовано: (2021)

Industrial Automation and Robotics
по: Gupta A. K.
Опубликовано: (New Delhi, University Science Press, 2014)

Handbook Of Industrial Automation
Опубликовано: (Boca Raton, CRC Press, 2000)

Robotic Process Automation (RPA) - Digitization and Automation of Processes Prerequisites, functionality and implementation using accounting as an example /
по: Langmann, Christian, и др.
Опубликовано: (2022)

Automation 2022: New Solutions and Technologies for Automation, Robotics and Measurement Techniques
Опубликовано: (2022)

My Garden — like the Beach
по: Emily E. D.
Опубликовано: (Санкт-Петербург, Лань, 2013)

Proceedings of the International Conference on Systems, Control and Automation ICSCA 2023 /
Опубликовано: (2025)

Human-Automation Interaction Transportation /
Опубликовано: (2023)

Automating Cities Design, Construction, Operation and Future Impact /
Опубликовано: (2021)

Writing the Australian Beach Local Site, Global Idea /
Опубликовано: (2020)

Выполнение заданий в 19 версии программы AUTODESK INVENTOR PROFESSIONAL учебно-методическое пособие
по: Михайлова С. Н.
Опубликовано: (Казань, КНИТУ, 2019)

Automation and Autonomy Labour, Capital and Machines in the Artificial Intelligence Industry /
по: Steinhoff, James
Опубликовано: (2021)

Human-Automation Interaction Mobile Computing /
Опубликовано: (2023)

Data Acquisition in High-Energy Physics: Villa Monastero, 28th July 7th August 1981
Опубликовано: (Amsterdam, North Holland Publishing Co., 1983)

Marketing and Sales Automation Basics, Implementation, and Applications /
Опубликовано: (2023)

Automated Software Testing Foundations, Applications and Challenges /
Опубликовано: (2020)

The Proceedings of the International Conference on Electrical Systems & Automation Recent Advances in Renewable Energy—Volume 1 /
Опубликовано: (2022)

The Proceedings of the International Conference on Electrical Systems & Automation Control of Electrical and Electronic Systems—Volume 2 /
Опубликовано: (2022)

Advanced Manufacturing and Automation VIII
Опубликовано: (2019)

Advanced Manufacturing and Automation XI
Опубликовано: (2022)