
Automated Reasoning with Analytic Tableaux and Related Methods
על הספר
«Automated Reasoning with Analytic Tableaux and Related Methods» הוא רומן היסטורי מאת הסופר Didier Galmiche, שראה אור לראשונה בשנת 1997. היצירה שייכת אל הרומן ההיסטורי ומזמינה היכרות עם עולמו הספרותי של הכותב.
הרומן ההיסטורי מחייה תקופה מן העבר ומשלב דמויות ואירועים בתוך מרקם היסטורי מדוקדק. על רקע זה בולטים ב«Automated Reasoning with Analytic Tableaux and Related Methods» רקע תקופתי עשיר, שחזור אווירה ומפגש בין הפרטי להיסטורי, המזוהים עם הטוב שברומן ההיסטורי.
בלב הספר עומדים כמה צירים תמטיים בולטים: מלחמה, אובדן וזיכרון, עתיד, טכנולוגיה והאנושי שבתוכו. שילוב זה הוא שמעניק לספר את עומקו ואת יכולתו לדבר אל קוראים שונים.
«Automated Reasoning with Analytic Tableaux and Related Methods» ראה אור במאה ה-20, מאה סוערת שספרותה נעה בין ניסוי צורני לחשבון נפש. ההקשר הזה מוסיף נדבך של הבנה לקריאה בת-זמננו.
באשר לקהל היעד, הספר מדבר אל אוהבי סיפורת על רקע היסטורי, וגם קוראים המגיעים אליו לראשונה ימצאו בו עניין. בהיקף של כ-300 עמודים, היא מאפשרת קריאה מתונה ומעמיקה.
הספר ראה אור בהוצאת Springer Berlin / Heidelberg.
בהמשך העמוד תוכלו למצוא פרטים ביבליוגרפיים מלאים, לעבור אל עמוד הסופר Didier Galmiche ולגלות ספרים דומים ברוחם.
פרטים ביבליוגרפיים
| שם מקורי | Automated Reasoning with Analytic Tableaux and Related Methods |
|---|---|
| מחבר | Didier Galmiche |
| שנת פרסום | 1997 |
| הוצאה | Springer Berlin / Heidelberg |
| מספר עמודים | 300 |
| שפת מקור | אנגלית |
| ז׳אנר | רומן היסטורי |
| ISBN-13 | 9783642405372 |
| מהדורות ידועות | 4 |
על המחבר
הסופר Didier Galmiche הוא מן הקולות המשמעותיים ברומן ההיסטורי, בעולם הבינלאומי.
נכון לעכשיו מתועדת אצלנו יצירה אחת מאת Didier Galmiche - «Automated Reasoning with Analytic Tableaux and Related Methods», ועמוד זה מרכז את מה שידוע עליה. המאגר מתעדכן באופן שוטף, וספרים נוספים משלו יתווספו לעמוד ככל שיאותרו.
ספרים דומים











