Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Automated Reasoning -  Fouad Sabry

Automated Reasoning (eBook)

Fundamentals and Applications

(Autor)

eBook Download: EPUB
2023 | 1. Auflage
102 Seiten
One Billion Knowledgeable (Verlag)
978-0-00-047652-4 (ISBN)
Systemvoraussetzungen
4,49 inkl. MwSt
(CHF 4,35)
Der eBook-Verkauf erfolgt durch die Lehmanns Media GmbH (Berlin) zum Preis in Euro inkl. MwSt.
  • Download sofort lieferbar
  • Zahlungsarten anzeigen

What Is Automated Reasoning


Understanding many facets of reasoning is the focus of the subfield of computer science known as automated reasoning. This subfield is particularly important in the fields of knowledge representation and reasoning as well as metalogic. The study of automated reasoning contributes to the production of computer programs that enable computers to reason automatically, or nearly automatically. Automated reasoning is sometimes categorized as a subfield of artificial intelligence; nevertheless, it also has linkages to theoretical computer science as well as philosophy.


How You Will Benefit


(I) Insights, and validations about the following topics:


Chapter 1: Automated reasoning


Chapter 2: Applications of artificial intelligence


Chapter 3: Abductive reasoning


Chapter 4: Automated theorem proving


Chapter 5: Commonsense reasoning


Chapter 6: Case-based reasoning


Chapter 7: Reasoning system


Chapter 8: Program analysis


Chapter 9: Inference engine


Chapter 10: Automated machine learning


(II) Answering the public top questions about automated reasoning.


(III) Real world examples for the usage of automated reasoning in many fields.


(IV) 17 appendices to explain, briefly, 266 emerging technologies in each industry to have 360-degree full understanding of automated reasoning' technologies.


Who This Book Is For


Professionals, undergraduate and graduate students, enthusiasts, hobbyists, and those who want to go beyond basic knowledge or information for any kind of automated reasoning.

Erscheint lt. Verlag 6.7.2023
Sprache englisch
Themenwelt Informatik Theorie / Studium Künstliche Intelligenz / Robotik
ISBN-10 0-00-047652-8 / 0000476528
ISBN-13 978-0-00-047652-4 / 9780000476524
Haben Sie eine Frage zum Produkt?
EPUBEPUB (Adobe DRM)
Größe: 311 KB

Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM

Dateiformat: EPUB (Electronic Publication)
EPUB ist ein offener Standard für eBooks und eignet sich besonders zur Darstellung von Belle­tristik und Sach­büchern. Der Fließ­text wird dynamisch an die Display- und Schrift­größe ange­passt. Auch für mobile Lese­geräte ist EPUB daher gut geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
der Praxis-Guide für Künstliche Intelligenz in Unternehmen - Chancen …

von Thomas R. Köhler; Julia Finkeissen

eBook Download (2024)
Campus Verlag
CHF 37,95
Wie du KI richtig nutzt - schreiben, recherchieren, Bilder erstellen, …

von Rainer Hattenhauer

eBook Download (2023)
Rheinwerk Computing (Verlag)
CHF 16,95