电子书 > 科学 > 计算机科学 > 计算机科学 > Christian G. Fermuller & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning (PDF)

Christian G. Fermuller & Andrei Voronkov
Logic for Programming, Artificial Intelligence, and Reasoning [PDF ebook]
17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings

支持

的封面 Christian G. Fermuller & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning (PDF)

€114.58

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● ISBN 9783642162428 ● 编辑 Christian G. Fermuller & Andrei Voronkov ● 出版者 Springer Berlin Heidelberg ● 发布时间 2010 ● 下载 3 时 ● 货币 EUR ● ID 6321646 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Christian G. Fermuller Andrei Voronkov

16,504 此类电子书

的封面 Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

的封面 Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …

的封面 David J. Eck: The Most Complex Machine

David J. Eck: The Most Complex Machine

This introduction to computers presents the fundamental ideas and principles on which modern computers are built. While used as a text for courses in computer appreciation as well as introductions to …

的封面 Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

的封面 Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Not only does almost everyone in the civilized world use a personal computer, smartphone, and/or tablet on a daily basis to communicate with others and access information, but virtually every other m …

的封面 Mehdi Khosrow-Pour: Incorporating Nature-Inspired Paradigms in Computational Applications

Mehdi Khosrow-Pour: Incorporating Nature-Inspired Paradigms in Computational Applications

的封面 Roger Bartlett & Youlian Hong: Routledge Handbook of Biomechanics and Human Movement Science

Roger Bartlett & Youlian Hong: Routledge Handbook of Biomechanics and Human Movement Science

The Routledge Handbook of Biomechanics and Human Movement Science is a landmark work of reference. Now available in a concise paperback edition, it offers a comprehensive and in-depth survey of curre …

的封面 Ming Zhang: Applied Artificial Higher Order Neural Networks for Control and Recognition

Ming Zhang: Applied Artificial Higher Order Neural Networks for Control and Recognition

的封面 Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

The Global Conference on Artificial Intelligence and Applications (GCAIA 2021) provides a prominent venue for researchers, engineers, entrepreneurs, and scholar students to share their research ideas …

的封面 Vijayan Sugumaran: Developments and Trends in Intelligent Technologies and Smart Systems

Vijayan Sugumaran: Developments and Trends in Intelligent Technologies and Smart Systems