E-bok > Sciences > Datavetenskap > Datavetenskap > 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

Stöd

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

€114.58

Köp den här e-boken och få 1 till GRATIS!

Språk Engelska ● Formatera PDF ● ISBN 9783642162428 ● Redaktör Christian G. Fermuller & Andrei Voronkov ● Utgivare Springer Berlin Heidelberg ● Publicerad 2010 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 6321646 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Christian G. Fermuller Andrei Voronkov

16 795 E-böcker i denna kategori

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

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

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

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

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

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Nästa sida >>>