Logic for computer science Foundations of automatic theorem proving

• Main Author: Gallier, Jean H. (Author)
• Format: Book
• Language: English
• Published: New York John Wiley & Sons c1987
• Series: Harper & Row Computer Science and Technology Series
• Subjects: COMPUTER SCIENCE; Υπολογιστική
• Item Description: Βιβλιογραφία: σσ.489-493 περιέχει προβλήματα Να μην δανείζεται κανένα αντίτυπο μόνο για επιτόπια χρήση
• Physical Description: xv, 511p. fig.