“北京王麻子剪刀”是享誉海内外几百年的中华老字号，北京王麻子剪刀的生产技术，曾在“中国17世纪科技（工艺）百科全书”中被详细介绍。该书是

A．《天工开物》	B．《梦溪笔谈》
C．《农政全书》	D．《徐霞客游记》