Skip to content

VuFind

שפה
- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी

מתקדם

חיפוש
Automated deduction CADE 12

יצירת מראה מקום
שלח את זה
הדפסה
יצוא רשומה
permanent_link

טוען...

QR Code

Automated deduction CADE 12

מידע ביבליוגרפי
מחבר ראשי:	Alan Bundy
פורמט:	Printed Book
שפה:	English
יצא לאור:	Springer-Verlag 1994

מלאי ספרים
תיאור
פריטים דומים
תצוגת צוות

תיאור
תיאור פיזי:	848
ISBN:	3-540-58156-1

פריטים דומים

Cade
מאת: Chase, James Hadley; Author
יצא לאור: (1999)
Caval cade /
מאת: Coward, Noel .
יצא לאור: (1960)
Deductive geometry /
מאת: Maxwell, E. A.
יצא לאור: (1962)
Deductive geometry /
מאת: Maxwell, E. A.
יצא לאור: (1962)
Deductive and inductive logic /
יצא לאור: (2010)

אפשרויות חיפוש

חיפושים קודמים
חיפוש מתקדם

מצא עוד

דפדוף בקטלוג
דפדוף בסדר אלפבתי
Explore Channels

צריכים עזרה?

טיפים לחיפוש
לשאול ספרן/ית
שאלות נפוצות

טוען...