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
Amazon 
Barnes & Noble 
Bookshop.org
Чи бажаєте додати книгарню? Зв'яжіться з нами за support@z-lib.do
Конвертуйте файли
Більше результатів пошуку
Інші переваги 
