Showing
1 - 1
results of
1
for search '
'
Skip to content
UPFind
0
פריטים
(מלא)
שפה
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
हिंदी
כל השדות
כותר
מחבר
נושא
סימן המיקום
ISBN/ISSN
מצא
מתקדם
SUBJECT:
Computer science
וגם
Logic design
וגם
Computer science -- Mathematics -- Congresses
DATABASE:
Union Catalog (Buklod)
Show filters (4)
SUBJECT:
Computer science
וגם
Logic design
וגם
Computer science -- Mathematics -- Congresses
DATABASE:
Union Catalog (Buklod)
תוצאות חיפוש
Showing
1 - 1
results of
1
for search '
'
, זמן שאילתה: 0.01s
Refine Results
מיון
רלוונטיות
Newest to Oldest
Oldest to Newest
מחבר
כותר
בחירת עמוד | עם פריטים מסומנים:
דואל
יצוא
הדפסה
הוספה לילקוט
Select result number 1
1
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
הוצא לאור ב
Springer eBooks.
(2011)
סימן המיקום:
טוען...
ממוקם:
טוען...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
הוספה לילקוט
הסרה מילקוט
בחירת עמוד | עם פריטים מסומנים:
דואל
יצוא
הדפסה
הוספה לילקוט
כלי חיפוש:
קבל רסס (RSS)
—
שליחת חיפוש דרך דואל
חזרה
צמצם חיפוש
CAMPUS
Diliman
1
DATABASE
Union Catalog (Buklod)
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
1
YEAR OF PUBLICATION
מ:
אל:
SUBJECT
Algebra
1
Artificial intelligence
1
Computer science
Computer science -- Mathematics -- Congresses
Data processing
1
Electronic books
1
Logic design
Software engineering
1
ראה את כולם ...
AUTHOR
Jouannaud, Jean-Pierre
1
Shao, Zhong
1
SpringerLink (Online service)
1
RESOURCE TYPE
Electronic Resource
1
LANGUAGE
English
1
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
טוען...