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
Kateqoriyalar:
İl:
1994
Nəşr:
1
Nəşriyyat:
Vieweg+Teubner Verlag
Dil:
german
Səhifələr:
438
ISBN 10:
3519021331
ISBN 13:
9783519021339
Seriyalar:
Leitfäden und Monographien der Informatik
Fayl:
PDF, 18.59 MB
IPFS:
,
german, 1994