计算理论与符号逻辑

计算理论与符号逻辑 Computation theory and symbolic logic

Sparad:

Bibliografiska uppgifter
Huvudupphovsman:	张兴元 (编著)
Övriga upphovsmän:	王元元 (编著)
Publicerad:	科学出版社

Beståndsuppgifter

省图图书

Beståndsuppgifter i 省图图书
Signum	Streckkod	Status
TP301/872	32301675	Tillgänglig