Handbuch der Informatik / Künstliche Intelligenz / Deduktion
Automatisierung der Logik
Published on 1. April 1992
Book
269 pages
978-3-486-20785-9 (ISBN)
Description
Keine ausführliche Beschreibung für "Deduktion" verfügbar.
More details
Edition
Reprint 2020 ed.
Language
German
Place of publication
Basel/Berlin/Boston
Product notice
sewn/stitched
Cloth over boards
Illustrations
Zahlr. Abb.
Illustrations
Dimensions
Height: 244 mm
Width: 170 mm
Thickness: 16 mm
Weight
641 gr
ISBN-13
978-3-486-20785-9 (9783486207859)
Schweitzer Classification
Other editions
Additional editions
E-Book
10/2020
1st Edition
De Gruyter Oldenbourg
€109.95
Available for download
Content
Frontmatter -- Inhalt -- Vorwort der Herausgeber -- Vorwort des Autors -- 1. Einführung -- 2. Deduktion in der Aussagenlogik -- 3. Deduktion in der Prädikatenlogik -- 4. Verdichtungen und Strategien -- 5. Erweiterungen und Anwendungen -- Anhang -- 1. Aufgaben und Lösungen -- 2. Literatur -- 3. Deutsch-englisches Wörterbuch -- 4. Liste der Symbole -- 5. Register