หนังสือดิจิตอล > วิทยาศาสตร์ > วิทยาศาสตร์คอมพิวเตอร์ > ซอฟต์แวร์แอปพลิเคชัน > Franz Baader & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning (PDF)

Franz Baader & Andrei Voronkov
Logic for Programming, Artificial Intelligence, and Reasoning [PDF ebook]
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

สนับสนุน

ปกของ Franz Baader & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning (PDF)

€115.42

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา อังกฤษ ● รูป PDF ● ISBN 9783540322757 ● บรรณาธิการ Franz Baader & Andrei Voronkov ● สำนักพิมพ์ Springer Berlin Heidelberg ● การตีพิมพ์ 2005 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 6357008 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Franz Baader Andrei Voronkov

16,941 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ Eran Boudjnah: Clean Architecture for Android

Eran Boudjnah: Clean Architecture for Android

"Clean Architecture for Android" was written to help developers apply Clean Architecture to their projects.The book will explain why Clean Architecture is so valuable. It will demonstrate h …

ปกของ Lukasz Gasior: ReSharper Essentials

Lukasz Gasior: ReSharper Essentials

In Detail Re Sharper is one of the best tools that extends Microsoft Visual Studio. It adds a lot of features which increases a developer’s productivity. It started with providing support for C# and …

ปกของ Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …

ปกของ Byron DeVries & Paul C. (Grand Valley State University, Allendale, Michigan, USA) Jorgensen: Software Testing

Byron DeVries & Paul C. (Grand Valley State University, Allendale, Michigan, USA) Jorgensen: Software Testing

This updated and reorganized Fifth edition of Software Testing: A Craftsman”s Approach continues to be a valuable reference for software testers, developers, and engineers, by applying the strong ma …

ปกของ Alessandro Del Sole: Xamarin with Visual Studio

Alessandro Del Sole: Xamarin with Visual Studio

For any mobile developer, it’s clear that Xamarin knowledge is vital, thanks to the reintroduction of .NET MAUI. This book provides the reader with complete hands-on experience in designing cross-pla …

ปกของ Mounir Boussetta: Building Kotlin Applications

Mounir Boussetta: Building Kotlin Applications

Kotlin is a modern, expressive, and concise programming language popular among developers for its many benefits. These include its interoperability with Java, ability to build native mobile and web a …

ปกของ Shikha Jain & Kavita Pandey: Code Factory

Shikha Jain & Kavita Pandey: Code Factory

Beginners in the programming world often wander to get some essential books to learn logic building with the help of algorithms, flowcharts, and minor C/Python language code. Addressing this demand, …

ปกของ Nakul Shah: Blockchain and DLT

Nakul Shah: Blockchain and DLT

Blockchain secures individual transactions with cryptography, creating a tamper-proof chain. In contrast, distributed ledger technologies cover various technologies that may not adhere strictly to bl …

ปกของ Aaron L Bratcher: Creating iOS apps with Xcode

Aaron L Bratcher: Creating iOS apps with Xcode

"Creating i OS apps with Xcode" introduces you to the premier programming language of Swift and presents Swift UI. It is an easy way of creating user interfaces on Apple products like i Pho …

ปกของ Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

หน้าต่อไป >>>