Showing
1 - 5
results of
5
for search '
'
Skip to content
UPFind
0
items
(满)
语言
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
检索
高级检索
LANGUAGE:
English
SUBJECT:
Algebra
和
Computer science
Show filters (3)
LANGUAGE:
English
SUBJECT:
Algebra
和
Computer science
检索结果
Showing
1 - 5
results of
5
for search '
'
, 查询时间: 0.03s
Refine Results
排序
相关性排序
Newest to Oldest
Oldest to Newest
作者排序
标题
选择页 | 与选定的:
电子邮件
导出
打印
添加到书包
Select result number 1
1
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings
出版 2011
索引号:
载入...
位于:
载入...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
添加到书包
从书包里删除
Select result number 2
2
Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
发表在
Springer eBooks.
(2011)
索引号:
载入...
位于:
载入...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
添加到书包
从书包里删除
Select result number 3
3
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 4
4
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
添加到书包
从书包里删除
Select result number 5
5
Number theoretic and algebraic methods in computer science proceedings of the international conference, Moscow, June/July 1993
出版 1995
索引号:
载入...
位于:
载入...
图书
载入...
添加到书包
从书包里删除
选择页 | 与选定的:
电子邮件
导出
打印
添加到书包
检索工具:
得到RSS订阅
—
推荐此搜索
Back
缩小搜索
CAMPUS
Diliman
5
DATABASE
Union Catalog (Buklod)
5
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
4
College of Engineering Library I
1
YEAR OF PUBLICATION
来自:
到:
CLASSIFICATION
Q - Science
1
SUBJECT
Algebra
Computer science
Data processing
4
Electronic books
4
Computational complexity
3
Logic design
3
Software engineering
3
Artificial intelligence
2
Automatic theorem proving -- Congresses
1
Computer science -- Mathematics -- Congresses
1
Geometry -- Data processing -- Congresses
1
Mathematics
1
Number theory
1
查看所有 ...
AUTHOR
SpringerLink (Online service)
2
Corradini, Andrea
1
Cîrstea, Corina
1
Jouannaud, Jean-Pierre
1
Klin, Bartek
1
Narboux, Julien
1
Richter-Gebert, Jürgen
1
Schreck, Pascal
1
Shao, Zhong
1
Shparlinski, Igor E.
1
SpringerLink (Online service
1
SringerLink (Online service
1
Van Der Poorten, A. J.
1
Winkler, Franz
1
Zimmer, Horst G.
1
查看所有 ...
RESOURCE TYPE
Electronic Resource
4
图书
1
LANGUAGE
English
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
载入...