Κανονική προβολή Προβολή MARC Προβολή ISBD

Logic for computer science Foundations of automatic theorem proving - New York John Wiley & Sons c1987 - xv, 511p. fig. - Harper & Row Computer Science and Technology Series .

Βιβλιογραφία: σσ.489-493 περιέχει προβλήματα Να μην δανείζεται κανένα αντίτυπο μόνο για επιτόπια χρήση

Subjects--Topical Terms:
COMPUTER SCIENCE
Υπολογιστική