שאילתות ופניות לגלריה לספרות
שאילתה לגבי ספר בקטלוג
   
 
שם הספר: Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics \ Automated Deduction: In Nonclassical Logics.
מספר קטלוגי: AR 542 003

שמך המלא:
דואר אלקטרוני:
* אנחנו לא מעבירים את הפרטים האישיים של לקוחותינו לאף גורם. אנו משתמשים בכתובת האי-מייל אך ורק לצרכים הנוגעים לשאילתה שהופנתה אלינו! אנו מעריכים ומעוניינים לשמור על אמון לקוחותינו.

השאלה שלך:


אנא הקלד את האותיות המופיעות בתמונה:
Code Image - Please contact webmaster if you have problems seeing this image code
 (טען מחדש)


Powered by Web Wiz CAPTCHA version 4.01
Copyright ©2005-2009 Web Wiz
   
 

ניתן לצור עמנו קשר גם בטלפון ובפקס:

טלפון: 02-6231087
נייד: 0522-355594 (משה)
פקס: 02-6255513
שעות הפעילות שלנו:
  • 10:00 עד 17:00 במשך השבוע (ראשון עד חמישי)
  • 10:00 עד 14:00 בימי שישי וערבי חג