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!
|
Be the first to leave a comment!