Catalog > Sains > Sains Komputer > Sains Komputer > 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

Sokongan

perlindungan daripada Christian G. Fermuller & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning (PDF)

€114.58

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format PDF ● ISBN 9783642162428 ● Penyunting Christian G. Fermuller & Andrei Voronkov ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2010 ● Muat turun 3 kali ● Mata wang EUR ● ID 6321646 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Christian G. Fermuller Andrei Voronkov

16,795 Ebooks dalam kategori ini

perlindungan daripada 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 …

perlindungan daripada Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Linear Media

Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Linear Media

This volume provides a comprehensive introduction to foundational topics in sound design for linear media, such as listening and recording; audio postproduction; key musical concepts and forms such a …

perlindungan daripada Sharon Yull: BTEC National for IT Practitioners: Business units

Sharon Yull: BTEC National for IT Practitioners: Business units

BTEC National for IT Practitioners: Business Units has been written specifically to cover the business pathway of the BTEC National specifications. This book caters for one of the most popular pathwa …

perlindungan daripada Gilbert Held: Wireless Mesh Networks

Gilbert Held: Wireless Mesh Networks

Wireless mesh networking is a new technology that has the potential to revolutionize how we access the Internet and communicate with co-workers and friends. Wireless Mesh Networks examines the concep …

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

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

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

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

perlindungan daripada Joanna Kulesza: International Internet Law

Joanna Kulesza: International Internet Law

This book discusses the international legal issues underlying Internet Governance and proposes an international solution to its problems. The book encompasses a wide spectrum of current debate surrou …

perlindungan daripada Kuldeep Singh: Exploring the Metaverse

Kuldeep Singh: Exploring the Metaverse

The metaverse has been a topic of conversation for a long time, but it still remains loosely defined. Some see it as a game in the virtual world, while others see it as a more connected version of th …

perlindungan daripada Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

"Modern Data Mining with Python" is a guidebook for responsibly implementing data mining techniques that involve collecting, storing, and analyzing large amounts of structured and unstructu …

perlindungan daripada Sangeeta Jadhav & Desai Rahul: Application of Communication Computational Intelligence and Learning

Sangeeta Jadhav & Desai Rahul: Application of Communication Computational Intelligence and Learning

The special issue is dedicated to National conference on Communication, computational intelligence and learning-NCCCIL sponsored by AICTE and organized by Department of Information Technology at Army …

Muka surat seterusnya >>>