登入選單
Google圖書搜尋
Finite Model Theory
作者
Heinz-Dieter Ebbinghaus / Jörg Flum
出版Springer Science & Business Media, 1999-08-18
ISBN
3540657584 / 9783540657583
主題
Mathematics
Mathematical Logic
作者
Heinz-Dieter Ebbinghaus / Jörg Flum / Wolfgang Thomas
出版Springer Nature, 2021-05-28
ISBN
9783030738396 / 3030738396
主題
Mathematics
Mathematical Logic
作者
H.-D. Ebbinghaus / J. Flum / Wolfgang Thomas
出版Springer Science & Business Media, 1996-11-15
ISBN
0387942580 / 9780387942582
主題
Mathematics
A Remark on Infinitary Languages
出版1971
ISBN
OCLC:315875219
Topological Model Theory
作者
Jörg Flum / Martin Ziegler
出版Springer, 2006-11-14
ISBN
9783540385448 / 3540385444
主題
Mathematics
Parameterized Complexity Theory
作者
J. Flum / M. Grohe
出版Springer Science & Business Media, 2006-05-01
ISBN
9783540299530 / 354029953X
主題
Computers
Fixed-parameter Tractability and Logic
作者
Jörg Flum / Martin Grohe
出版1999
ISBN
OCLC:76213379
L(Q)-preservation Theorems
出版1975
ISBN
OCLC:315875601
Model Checking Problems as a Basis for Parameteriz...
作者
Jörg Flum / Martin Grohe
出版2003
ISBN
OCLC:76579235
Bounded Fixed Parameter Tractability and Log2 N No...
作者
Jörg Flum / Martin Grohe / Mark Weyer
出版2004
ISBN
OCLC:76712177
Games and Partial Datalog Queries
作者
Jörg Flum / Max Kubierschky / Bertram Ludäscher
出版1997
ISBN
OCLC:76096831
Logic Conference
作者
Gert Heinz Müller / Klaus Potthoff
出版1975
ISBN
OCLC:251809638
Computer Science Logic
作者
Jörg Flum / Mario Rodríguez Artalejo
出版1999
ISBN
0354066536 / 9780354066532
主題
Computer logic
Einführung in die mathematische Logik
作者
Heinz-Dieter Ebbinghaus / Jörg Flum / Wolfgang Thomas
出版1992
ISBN
UOM:39015032500293
主題
Logic, Symbolic and mathematical
Ganzgeschlossene und prädikatengeschlossene Logike...
作者
Jörg Flum
出版1969
ISBN
OCLC:74080247
Hanf numbers and well-ordering numbers
作者
Jörg Flum
出版1972
ISBN
OCLC:74517091