大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Flum 的图书(共5本)

Parameterized Complexity Theory [electronic resource]

0
索取号:
作者:Flum、 J枚rg.、Grohe、 Martin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Finite Model Theory [electronic resource]

0
索取号:
作者:Ebbinghaus、 Heinz-Dieter.、Flum、 J枚rg.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Topological model theory

0
索取号:O132-51/E90110
作者:Flum、 Jörg.、Ziegler、 Martin.、
出版社:Berlin ; New York : Springer-Verlag, 1980.

Mathematical logic = 数理逻辑

0
索取号:O141/E20092.2
作者:Ebbinghaus、 Heinz-Dieter、 1939-、Flum、 Jörg.、Thomas、 Wolfgang、 1947-、
出版社:北京 : 世界图书出版公司, 2008.

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

0
索取号:TP302.2-532/E20011/1999
作者:Workshop on Computer Science Logic (13th : 1999 : Madrid、 Spain)、Flum、 Jörg.、Rodríguez Artalejo、 M. (Mario)、European Association for Computer Science Logic. Conference (8th : 1999 : Madrid、 Spain)、
出版社:Berlin ; New York : Springer, c1999.
最近添加的分类