विषयसूची
Frontmatter — Inhalt — Vorwort der Herausgeber — Vorwort des Autors — 1. Logik in der Informatik — 2. Beispiele logischer Beschreibungen — 3. Signaturen und Strukturen — 4. Terme, Formeln und ihre Auswertung — 5. Spezifikationen und Modelle — 6. Spezielle Situationen — 7. Folgern — 8. Ableiten — 9. Anwendungen in Skizzen — 10. Ausblick — Anhang
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा जर्मन ● स्वरूप PDF ● पेज 165 ● ISBN 9783110701920 ● फाइल का आकार 40.9 MB ● प्रकाशक De Gruyter ● शहर Berlin/München/Boston ● प्रकाशित 2020 ● संस्करण 1 ● डाउनलोड करने योग्य 24 महीने ● मुद्रा EUR ● आईडी 7913665 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है