Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Behavioural Virtual Agents Kapitel lesen Erstes Kapitel lesen

1999 | OriginalPaper | Buchkapitel

A Survey of Automated Deduction

verfasst von : Alan Bundy

Erschienen in: Artificial Intelligence Today

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

We survey research in the automation of deductive inference, from its beginnings in the early history of computing to the present day. We identify and describe the major areas of research interest and their applications. The area is characterised by its wide variety of proof methods, forms of automated deduction and applications.

Vorheriges Kapitel Knowledge Representation for Stochastic Decision Processes
Nächstes Kapitel The World Wide Web as a Place for Agents
Metadaten
Titel
A Survey of Automated Deduction
verfasst von
Alan Bundy
Copyright-Jahr
1999
Verlag
Springer Berlin Heidelberg
Buch
Artificial Intelligence Today

Print ISBN: 978-3-540-66428-4

Electronic ISBN: 978-3-540-48317-5

Copyright-Jahr: 1999

DOI
https://doi.org/10.1007/3-540-48317-9_6