Logic for computer science : foundations of automatic theorem proving /

other_versions_link
מידע ביבליוגרפי
מחבר ראשי: Gallier, Jean H.
פורמט: Printed Book
שפה:English
יצא לאור: New York, NY : Harper & Row, c1986.
נושאים:
Computer science
תיאור
תיאור פיזי:xv, 511 p. ;
ISBN:0060422254

פריטים דומים