Opening book details…
About this computer science book
Formalisieren und Beweisen : Logik für Informatiker by Dirk Siefkes (auth.) is a computer science book available to read on EtoBox.
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Dirk Siefkes (auth.)
- Publisher
- Vieweg+Teubner Verlag
- Published
- 1990
- Language
- DE
- ISBN
- 9783322856210
- Category
- computer science
- Subjects
- Mathematics, Technology, Language Learning
- Updated
- 2026-03-25
Other editions & translations
More by Dirk Siefkes (auth.)
Browse all works by Dirk Siefkes (auth.)
Similar books
- Logik für Informatiker — Uwe Schöning *ISBN 3827410053* (2000)
- Mathematik für Informatiker: Band 1: Diskrete Mathematik und Lineare Algebra — Gerald Teschl, Susanne Teschl (auth.) (2006)
- Elektrotechnik und Elektronik für Informatiker : Grundgebiete der Elektronik — Prof. Dr.-Ing. Reinhold Paul (auth.) (1995)
- Präzises Denken für Informatiker — Karsten Wolf (2017)
- Numerik für Ingenieure, Physiker und Informatiker — Günter Bärwolff (2020)
- Logik für Informatiker: Eine Einführung (Leitfäden und Monographien der Informatik) — Dr. rer. nat. Bernhard Heinemann, Prof. Dr. rer. nat. Klaus Weihrauch (auth.) (1992)