語系
Ciobanu, Gabriel.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Foundations of finitely supported structures = a set theoretical viewpoint /
by:
Ciobanu, Gabriel.; SpringerLink (Online service); Alexandru, Andrei.
(書目-電子資源)
Theoretical aspects of computing - ICTAC 2014 = 11th International Colloquium, Bucharest, Romania, September 17-19, 2014 : proceedings /
by:
Ciobanu, Gabriel.; Mery, Dominique.; SpringerLink (Online service)
(書目-電子資源)
Finitely supported mathematics = an introduction /
by:
Ciobanu, Gabriel.; SpringerLink (Online service); Alexandru, Andrei.
(書目-電子資源)
Fundamentals of computation theory = 12th international symposium, FCT'99, Iasi, Romania, August 30-September 3, 1999 : proceedings /
by:
Ciobanu, Gabriel.; Paun, Gheorghe.; SpringerLink (Online service); FCT'99 ((1999 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Theory of Computation.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Mathematics of Computing.
Algebra.
Computer science- Mathematics
Computer programming
Programming Languages, Compilers, Interpreters.
Mathematics.
Set theory.
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
Finite element method.