Aussagenlogik: Deduktion und Algorithmen
de Hans Kleine Büning, Theodor Lettmann
Ediciones (1)
- Aussagenlogik: Deduktion und Algorithmen (1994)
Vieweg+Teubner Verlag · alemán · ISBN 9783322848093
de Hans Kleine Büning, Theodor Lettmann
Vieweg+Teubner Verlag · alemán · ISBN 9783322848093
