登入選單
Google圖書搜尋
Methods of Cut-Elimination
作者
Matthias Baaz / Alexander Leitsch
出版Springer Science & Business Media, 2011-01-07
ISBN
9789400703209 / 9400703201
主題
Mathematics
Kurt Godel and the Foundations of Mathematics
作者
Matthias Baaz
出版2011
ISBN
OCLC:1137347356
Logic Colloquium '01
作者
Matthias Baaz / Sy-David Friedman / Jan Krajícek
出版A K Peters/CRC Press, 2005-03-07
ISBN
1568812477 / 9781568812472
主題
Mathematics
Logic for Programming, Artificial Intelligence, an...
作者
Matthias Baaz / Andrei Voronkov
出版Springer Science & Business Media, 2002-10-02
ISBN
9783540000105 / 3540000100
主題
Computers
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
Collegium Logicum
作者
LPAR (9, 2002, T'bilisi)
出版2004
ISBN
3901546030 / 9783901546037
主題
Automatic theorem proving
Logische Kalküle in informatischen Problemstellung...
作者
Matthias Baaz
出版1992
ISBN
OCLC:636831103
Discover #05
作者
Matthias Media
出版2004-09-01
ISBN
1876326883 / 9781876326883
Discover #04
作者
Matthias Media
出版2003-01-01
ISBN
1876326603 / 9781876326609
Object Design Style Guide
作者
Matthias Noback
出版Simon and Schuster, 2019-12-23
ISBN
9781638350194 / 1638350191
主題
Computers
Abusive Head Trauma: Experience Improves Diagnosis
作者
Luciana Porto / Marco Baz Bartels / Jonas Zwaschka / Se-Jong You / Christoph Polkowski / Julian Alexander Luetkens / Christoph Hans-Jürgen Endler / Matthias Kieslich / Elke Hattingen
出版2020
ISBN
OCLC:1404995272
Discover #03
作者
Matthias Media
出版2003-01-01
ISBN
1876326506 / 9781876326500
Mathematische Modelle des militärischen Kräfteverg...
作者
Matthias Baaz
出版1990
ISBN
STANFORD:36105112444075
主題
Military research
Space Science and the Arab World
作者
Jörg Matthias Determann
出版Bloomsbury Publishing, 2018-01-29
ISBN
9781786723529 / 1786723522
主題
History
The Poems of William of Shoreham
作者
William (of Shoreham)
出版1902
ISBN
STANFORD:36105005675082
主題
Christian poetry, English (Middle)