स्रोत और उपयोग की जानकारी

आप इस कृति तक Internet Archive के मूल रिकॉर्ड के माध्यम से पहुँच रहे हैं। NiceBooksReads स्रोत तक पहुँच और पढ़ने-सुनने का इंटरफ़ेस प्रदान करता है।

कृति और रिकॉर्डिंग के अधिकार उनके संबंधित अधिकारधारकों के पास हैं। स्रोत रिकॉर्ड में दिए गए लाइसेंस तथा पहुँच और उपयोग की शर्तें देखें। यह सूचना अतिरिक्त उपयोग या पुनर्प्रकाशन का अधिकार नहीं देती।

English

A machine program for theorem-proving

Martin Davis George Logemann Donald Loveland

13 p. 28 cm

पढ़ने, EPUB डाउनलोड करने या सुनने के लिए अपने मुफ़्त खाते में लॉग इन करें।

ऑनलाइन पढ़ें →EPUB ↓

डिजिटल संस्करण

EPUB ↓

अन्य संस्करण खोजें →