Showing
1 - 2
results of
2
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
מצא
מתקדם
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
וגם
Algebra
Show filters (3)
RESOURCE TYPE:
Electronic Resource
SUBJECT:
Artificial intelligence
וגם
Algebra
תוצאות חיפוש
Showing
1 - 2
results of
2
for search '
'
, זמן שאילתה: 0.02s
Refine Results
מיון
רלוונטיות
Newest to Oldest
Oldest to Newest
מחבר
כותר
בחירת עמוד | עם פריטים מסומנים:
דואל
יצוא
הדפסה
הוספה לילקוט
Select result number 1
1
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
הוצא לאור ב
Springer eBook.
(2011)
סימן המיקום:
טוען...
ממוקם:
טוען...
Available for University of the Philippines Diliman via SpringerLink.Click here to access
Electronic Resource
הוספה לילקוט
הסרה מילקוט
Select result number 2
2
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
2
DATABASE
Union Catalog (Buklod)
2
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
2
YEAR OF PUBLICATION
מ:
אל:
SUBJECT
Algebra
Artificial intelligence
Computer science
2
Data processing
2
Electronic books
2
Software engineering
2
Automatic theorem proving -- Congresses
1
Computational complexity
1
Computer science -- Mathematics -- Congresses
1
Geometry -- Data processing -- Congresses
1
Logic design
1
ראה את כולם ...
AUTHOR
Jouannaud, Jean-Pierre
1
Narboux, Julien
1
Richter-Gebert, Jürgen
1
Schreck, Pascal
1
Shao, Zhong
1
SpringerLink (Online service
1
SpringerLink (Online service)
1
ראה את כולם ...
RESOURCE TYPE
Electronic Resource
LANGUAGE
English
2
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
טוען...