Aussagenlogik: Deduktion und Algorithmen (Leitfäden und Monographien der Informatik)

Monographien

von Hans Kleine Büning Theodor Lettmann

Taschenbuch

ISBN: 978-3-519-02133-9

ISBN-10: 3-519-02133-1

Teubner Verlag · 1994