登入選單
Google圖書搜尋
Logic Colloquium '95
作者
Johann A. Makowsky / Association of Symbolic Logic
出版1998
ISBN
3540639942 / 9783540639947
主題
Mathematics
Model Theoretic Methods in Finite Combinatorics
作者
Martin Grohe / Johann A. Makowsky
出版American Mathematical Soc., 2011-11-28
ISBN
9780821849439 / 0821849433
主題
Mathematics
Computer Science Logic
作者
Matthias Baaz / Johann A. Makowsky / European Association for Computer Science Logic. Conference
出版Springer Science & Business Media, 2003-08-18
ISBN
9783540408017 / 3540408010
主題
Computers
Logic Colloquium '95
作者
Johann A. Makowsky
出版2017
ISBN
1316752763 / 9781316752760
主題
Logic, Symbolic and mathematical
Logics and Generalized Quantifiers
作者
Johann A. Makowsky
出版1974
ISBN
OCLC:257000258
Logic Colloquium '95
作者
Johann A. Makowsky / Association for Symbolic Logic / Association of Symbolic Logic
出版1998
ISBN
3540639942 / 9783540639947
主題
Logic, Symbolic and mathematical
{Delta}-logics and Generalized Quantifiers
作者
Johann Andreas Makowsky
出版1974
ISBN
OCLC:636528424
Logic for Computer Science
作者
Johann A. Makowsky / Ṭekhniyon, Makhon ṭekhnologi le-Yiśraʼel. Fakultah le-mad'e ha-mahshev
出版1991
ISBN
OCLC:641799488
The Expressive Power of Transitive Closure and 2-w...
作者
Yaniv Bargury / Johann A. Makowsky
出版1991
ISBN
OCLC:255593956
Characterizing specification languages which admit...
作者
B. Mahr / Johann A. Makowsky
出版1982
ISBN
OCLC:633232599
Polynomials of Bounded Tree Width
作者
Johann A. Makowsky / Klaus Meer
出版2000
ISBN
OCLC:473690770
An array assignment for propositional dynamic logi...
作者
Johann A. Makowsky / M. L. Tiomkin
出版1982
ISBN
OCLC:633232776
Probabilistic Lower Bounds for Average Case Comple...
作者
Abraham Sharell / Johann A. Makowsky
出版1992
ISBN
OCLC:255631311
On Average Case Complexity of SAT for Symmetric Di...
作者
Johann Makowsky / Abraham Sharell
出版1992
ISBN
OCLC:255630915
Compactness and unions of chains
作者
Johann A. Makowsky
出版1982
ISBN
OCLC:475979194
Polynommials of Bounded Tree Width
作者
Johann A. Makowsky / Klaus Meer
出版2000
ISBN
OCLC:76124722
Final Report on the Project "Definability and Comp...
作者
Erich Grädel / Johann A. Makowsky
出版1999
ISBN
OCLC:247300632
A Proof Rule for Fair Termination of Guarded Comma...
作者
Orna Grümberg / Nissim Francez / Johann A. Makowsky / Willem Paul de Roever
出版1981
ISBN
OCLC:65233017
Computer Science Logic
作者
Matthias Baaz / Johann A. Makowsky / European Association for Computer Science Logic. Conference
出版Springer Science & Business Media, 2003-08-18
ISBN
9783540408017 / 3540408010
主題
Computers
Adressen-Buch der Handlungs-Gremien und Fabriken d...
作者
Johann Stiasny
出版1853
ISBN
ONB:+Z222828608
Lehrbuch Der Kirchengeschichte. History of the Chr...
作者
Johann Heinrich KURTZ
出版1864
ISBN
BL:A0026965643
From the reformation to the present time
作者
Johann Heinrich Kurtz
出版1868
ISBN
OSU:32435024223067
主題
Church history
History of the Christian Church
作者
Johann Heinrich Kurtz
出版1864
ISBN
COLUMBIA:0315024598
主題
Church history
History of the Christian Church from the Reformati...
作者
Johann Heinrich Kurtz
出版BoD – Books on Demand, 2024-04-29
ISBN
9783385437098 / 3385437091
主題
Fiction
History of the Christian Church: From the Reformat...
作者
Johann Heinrich Kurtz
出版1872
ISBN
UGA:32108009053177
主題
Church history
Text-Book of Church History. [Translated by J. H. ...
作者
Johann Heinrich KURTZ
出版1870
ISBN
BL:A0026971791
Text-book of Church History
作者
Johann Heinrich Kurtz
出版1875
ISBN
HARVARD:HWRLHL
主題
Church history
A Text-book of Church History
作者
Johann Carl Ludwig Gieseler / Johann Karl Ludwig Gieseler
出版1862
ISBN
UOM:39015026276736
主題
Church history
A Text-book of Church History
作者
Johann Karl Ludwig Gieseler
出版1862
ISBN
PSU:000017926614
主題
Church history
A Text-book of Church History: A.D. 1517-1648 (The...
作者
Johann Carl Ludwig Gieseler / Johann Karl Ludwig Gieseler
出版1862
ISBN
HARVARD:HNVGGI
主題
Church history