Deduktion : : Automatisierung der Logik / / Wolfgang Bibel.
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter DGBA Physical Sciences 1990 - 1999 |
|---|---|
| VerfasserIn: | |
| TeilnehmendeR: | |
| MitwirkendeR: | |
| Place / Publishing House: | München ;, Wien : : De Gruyter Oldenbourg, , [2020] ©1992 |
| Year of Publication: | 2020 |
| Edition: | Reprint 2020 |
| Language: | German |
| Series: | Handbuch der Informatik ;
6.2 |
| Online Access: | |
| Physical Description: | 1 online resource (269 p.) :; Zahlr. Abb. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|