Deduktion: Automatisierung der Logik
Wolfgang Bibel, Steffen Hölldobler, Gerd NeugebauerԿատեգորիաներ:
Տարի:
2020
Հրատարակում:
Reprint 2020
Հրատարակչություն:
De Gruyter Oldenbourg
Լեզու:
german
Էջեր:
269
ISBN 10:
311070112X
ISBN 13:
9783110701128
Սերիաներ:
Handbuch der Informatik; 6.2
Ֆայլ:
PDF, 65.63 MB
IPFS:
,
german, 2020