Automatisierung von Terminierungsbeweisen
Christoph Walther (auth.), Wolfgang Bibel (eds.)Kateqoriyalar:
İl:
1991
Nəşr:
1
Nəşriyyat:
Vieweg+Teubner Verlag
Dil:
german
Səhifələr:
253
ISBN 10:
3528047712
ISBN 13:
9783528047719
Seriyalar:
Artificial Intelligence / Künstliche Intelligenz
Fayl:
PDF, 10.28 MB
IPFS:
,
german, 1991
Müəllif hüququ sahibinin şikayəti səbəbindən bu kitabı yükləmək mümkün deyil
Beware of he who would deny you access to information, for in his heart he dreams himself your master
Faylları çevirin
Daha çox axtarış nəticəsi
Digər üstünlüklər 
![Michael Stoll — Einführung in die Computeralgebra [Lecture notes]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/c74202887ecba96c40cc56740653cc8e321e8f2382f16df1f4291225e3fbfb8b.jpg)
