Aussagenlogik: Deduktion und AlgorithmenHans Kleine Büning
Aussagenlogik: Deduktion und Algorithmen
Hans Kleine Büning, Theodor Lettmann · 1994
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1994
- שפה
- German
- סדרה
- Leitfäden und Monographien der Informatik
- הוצאה
- Vieweg+Teubner Verlag
- מהדורות
- 1
- ISBN
- 9783322848093
מקור הנתונים: Wikidata
עוד של Hans Kleine Büning
PrologHans Kleine Büning
Prolog
Hans Kleine Büning · 2012
Theory and Applications of Satisfiability Testing - SAT 2008Hans Kleine Büning
Theory and Applications of Satisfiability Testing - SAT 2008
Hans Kleine Büning · 2008
PrologHans Kleine Büning
Prolog
Hans Kleine Büning · 1988
PrologHans Kleine Büning
Prolog
Hans Kleine Büning · 1986