Aussagenlogik: Deduktion und Algorithmen
Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)"... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien
Կատեգորիաներ:
Տարի:
1994
Հրատարակում:
1
Հրատարակչություն:
Vieweg+Teubner Verlag
Լեզու:
german
Էջեր:
438
ISBN 10:
3519021331
ISBN 13:
9783519021339
Սերիաներ:
Leitfäden und Monographien der Informatik
Ֆայլ:
PDF, 18.59 MB
IPFS:
,
german, 1994