Catalog > Sains > Sains Komputer > Perisian Aplikasi > Geoff Sutcliffe & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning (PDF)

Geoff Sutcliffe & Andrei Voronkov
Logic for Programming, Artificial Intelligence, and Reasoning [PDF ebook]
12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Sokongan

perlindungan daripada Geoff Sutcliffe & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning (PDF)

€115.13

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format PDF ● ISBN 9783540316503 ● Penyunting Geoff Sutcliffe & Andrei Voronkov ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2005 ● Muat turun 3 kali ● Mata wang EUR ● ID 6375874 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Geoff Sutcliffe Andrei Voronkov

16,941 Ebooks dalam kategori ini

perlindungan daripada Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee – An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

‘… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …

perlindungan daripada Howard Anderson & Bruce Hellingsworth: Higher National Computing

Howard Anderson & Bruce Hellingsworth: Higher National Computing

Higher National Computing 2e is a new edition of this extremely successful course book, updated specifically to cover the compulsory core units of the 2003 BTEC Higher National Computing schemes. Ful …

perlindungan daripada Lakshman Bulusu: Open Source Data Warehousing and Business Intelligence

Lakshman Bulusu: Open Source Data Warehousing and Business Intelligence

Open Source Data Warehousing and Business Intelligence is an all-in-one reference for developing open source based data warehousing (DW) and business intelligence (BI) solutions that are business-cen …

perlindungan daripada Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop

Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop

A beginner”s guide to simplifying Extract, Transform, Load (ETL) processes with the help of hands-on tips, tricks, and best practices, in a fun and interactive way Key Features

Explore data …

perlindungan daripada Alan Clements: Computer Architecture with Python and ARM

Alan Clements: Computer Architecture with Python and ARM

<p><b>Learn computer architecture with Python and ARM, simulating assembly program execution and designing a computer simulator Purchase of the print or Kindle book includes a free PDF e …

perlindungan daripada Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. This book aims at pr …

perlindungan daripada Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

Ankita Patil & Mitesh Soni: Infrastructure Automation with Terraform

This book explains how to quickly learn and utilize Terraform to incorporate Infrastructure as Code into a continuous integration and continuous delivery pipeline. The book gives you the step-by-step …

perlindungan daripada Donald J. Reifer: Software Maintenance Success Recipes

Donald J. Reifer: Software Maintenance Success Recipes

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are usu …

perlindungan daripada Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

perlindungan daripada Dan Aldred: Coding with the micro

Dan Aldred: Coding with the micro

A new title in the Quest Kids(R) children’s series that was launched by In Easy Steps in 2018, designed to make learning fun for children. Coding with the micro:bit – Create Cool Programming Projects …

Muka surat seterusnya >>>