Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems

द्वारा

सामग्री प्रकार:

पाठभाषा: अंग्रेजी प्रकाशन विवरण: World Scientific; WSPC; 1994ISBN:

विषय(ओ):

अन्य वर्गीकरण:

ऑनलाइन संसाधन:

आइटम प्रकार:

eBooks

पुस्तकालय की ओर से टैगः इस शीर्षक के लिए इस पुस्तकालय में कोई टैग नहीं. टैग जोड़ने के लिए में प्रवेश करें.

होल्डिंग्स
आइटम के प्रकार	वर्तमान लाइब्रेरी	होम लाइब्रेरी	स्थिति	बारकोड
eBooks	Central Library	Central Library	उपलब्ध	CL1877000

इस शीर्षक पर कोई टिप्पणी नहीं है.

एक टिप्पणी पोस्ट करने के लिए.