Ebook: Deduktion: Automatisierung der Logik
Author: Wolfgang Bibel, Steffen Hölldobler, Gerd Neugebauer
- Series: Handbuch der Informatik, 6.2
- Year: 2020
- Publisher: De Gruyter Oldenbourg
- Edition: Reprint 2020
- Language: German
- pdf
Download the book Deduktion: Automatisierung der Logik for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)