Logic for computer science : foundations of automatic theorem proving /

other_versions_link
מידע ביבליוגרפי
מחבר ראשי: Gallier, Jean H.
פורמט: Printed Book
שפה:English
יצא לאור: New York : Dover, 2015
מהדורה:2nd ed.
נושאים:
Automatic theorem proving.
Logic, Symbolic and mathematical.
MATHEMATICS / Logic.

University of Calicut

פרטי מלאי ספרים מ University of Calicut
סימן המיקום: 511.360285 GAL/L
עותק סטטוס עדכני לא זמין

פריטים דומים