Logic in computer science:modelling and reasoning about systems

में बचाया:
ग्रंथसूची विवरण
मुख्य लेखक: Huth, Michael
अन्य लेखक: Ryan, Mark
भाषा:अंग्रेज़ी
प्रकाशित: Cambridge CUP 2005
संस्करण:2nd ed.
विषय:
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!