Showing
1 - 4
results of
4
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
हिंदी
התחלת חיפוש בסיסי חדש
|
התחלת חיפוש מתקדם חדש
Versions -
Logic for computer science : Foundations of Automatic Theorem proving/
Showing
1 - 4
results of
4
, זמן שאילתה: 0.01s
Refine Results
מיון
רלוונטיות
תאריך יורד
תאריך עולה
סימן מיקום
מחבר
כותר
1
טוען...
Logic For Computer Science: Foundations Of Automatic Theorem Proving
מאת
Gallier, Jean H
יצא לאור 1987
סימן המיקום:
טוען...
ממוקם:
טוען...
Printed Book
טוען...
2
טוען...
Logic for computer science : Foundations of Automatic Theorem proving/
מאת
Gallier, Jean H.
יצא לאור 1987
סימן המיקום:
טוען...
ממוקם:
טוען...
Printed Book
טוען...
3
טוען...
Logic for computer science : foundations of automatic theorem proving /
מאת
Gallier, Jean H.
יצא לאור 1986
סימן המיקום:
טוען...
ממוקם:
טוען...
Printed Book
טוען...
4
טוען...
Logic for computer science : foundations of automatic theorem proving /
מאת
Gallier, Jean H.
יצא לאור 2015
סימן המיקום:
טוען...
ממוקם:
טוען...
Printed Book
טוען...
כלי חיפוש:
קבל רסס (RSS)
—
שליחת חיפוש דרך דואל
חזרה
צמצם חיפוש
מוסד
University of Calicut
2
CUSAT
1
MG University
1
ספריה
Department of Mathematics
2
CH Mohammed Koya Library
1
School of Computer Sciences
1
פורמט
Printed Book
4
סימן המיקום
000 - Computer science, information, general works
1
500 - Natural sciences and mathematics
1
מחבר
Gallier, Jean H.
3
Gallier, Jean H
1
שפה
English
3
שנת הוצאה לאור
מ:
אל:
טוען...