登入選單
Google圖書搜尋
Methods of Cut-Elimination
作者
Matthias Baaz / Alexander Leitsch
出版Springer Science & Business Media, 2011-01-07
ISBN
9789400703209 / 9400703201
主題
Mathematics
The Resolution Calculus
作者
Alexander Leitsch
出版Springer Science & Business Media, 2012-12-06
ISBN
9783642606052 / 3642606059
主題
Mathematics
A Princeton Companion
作者
Alexander Leitch
出版Princeton University Press, 2015-03-08
ISBN
9781400870011 / 1400870011
主題
History
Computational Logic and Proof Theory
作者
Georg Gottlob / Alexander Leitsch / Daniele Mundici
出版Springer Science & Business Media, 1997-08-13
ISBN
3540633855 / 9783540633853
主題
Computers
Automated Model Building
作者
Ricardo Caferra / Alexander Leitsch / Nicolas Peltier
出版Springer Science & Business Media, 2013-11-09
ISBN
9781402026539 / 1402026536
主題
Philosophy
Automated Reasoning
作者
Rajeev Gore / Alexander Leitsch / Tobias Nipkow
出版Springer Science & Business Media, 2001-06-06
ISBN
9783540422549 / 3540422544
主題
Computers
Computational Logic and Proof Theory
作者
Georg Gottlob / Alexander Leitsch / Daniele Mundici
出版1993
ISBN
UOM:39015033145890
主題
Automatic theorem proving
Computational Logic and Proof Theory
作者
Georg Gottlieb / Alexander Leitsch / Daniele Mundici
出版1997
ISBN
0354063855 / 9780354063852
主題
Automatic theorem proving
Ethics of Theism
作者
Alexander Leitch
出版1868
ISBN
BL:A0018965809
主題
Apologetics
The gospel and the great apostasy; or, Popery cont...
作者
Alexander Leitch
出版1852
ISBN
OXFORD:600095371
The Unity of the Faith in Its Relations to the Aut...
作者
Alexander Leitch
出版1859
ISBN
BL:A0023395566
主題
Christian union
Christian Errors Infidel Arguments: Or, Seven Dial...
作者
Christian Errors
出版1857
ISBN
NLS:V000557940
主題
Apologetics
Ethics of Theism
作者
Alexander Leitch
出版Arkose Press, 2015-10-24
ISBN
1345305745 / 9781345305746
The Gospel and the Great Apostasy
作者
Alexander Leitch
出版Palala Press, 2015-11-20
ISBN
1347017011 / 9781347017012
Methods of Cut-Elimination
作者
Matthias Baaz / Alexander Leitsch
出版Springer Science & Business Media, 2011-01-07
ISBN
9789400703209 / 9400703201
主題
Mathematics
Automated Model Building
作者
Ricardo Caferra / Alexander Leitsch / Nicolas Peltier
出版Springer Science & Business Media, 2013-11-09
ISBN
9781402026539 / 1402026536
主題
Philosophy
The Resolution Calculus
作者
Alexander Leitsch
出版Springer Science & Business Media, 2012-12-06
ISBN
9783642606052 / 3642606059
主題
Mathematics
Reports of Cases Adjudged in the Court of Chancery...
作者
Upper Canada. Court of Chancery / Alexander Grant (barrister)
出版1865
ISBN
UOM:35112103743029
主題
Equity
Reports of Selected Civil and Criminal Cases Decid...
作者
Kentucky. Court of Appeals / James Hughes / Achilles Sneed / Martin D. Hardin / Alexander Keith Marshall / William Littell / Thomas Bell Monroe / John James Marshall / James Greene Dana / Benjamin Monroe / James P. Metcalfe / Alvin Duvall / William Pope Duvall Bush / John Rodman / Edward Warren Hines
出版1875
ISBN
UOM:35112102698588
主題
Law reports, digests, etc
Reports of Cases Argued and Adjudged in the Court ...
作者
Maryland. Court of Appeals / Alexander Contee Magruder / Oliver Miller / Nicholas Brewer (Jr) / John Shaaf Stockett / William Theophilus Brantly / William Henry Perkins / Herbert Thorndike Tiffany / Malcolm J. Coan
出版1870
ISBN
OSU:32437011880602
主題
Law reports, digests, etc
A Princeton Companion
作者
Alexander Leitch
出版Princeton University Press, 2015-03-08
ISBN
9781400870011 / 1400870011
主題
History
Cases decided in the Court of session (Teind court...
作者
Alexander Dunlop
出版1857
ISBN
OXFORD:555006481
Treatise on Deeds Chiefly Affecting Moveables
作者
Alexander Duff
出版1840
ISBN
STANFORD:36105044699606
主題
Conveyancing
Reports of Cases Before the High Court of Justicia...
作者
Scotland. High Court of Justiciary / Edwin Adam / Francis Albert Umpherston / Alexander Taylor / George Hart / David Oswald Dykes / Alexander Brown
出版1895
ISBN
UOM:35112105177341
主題
Law reports, digests, etc
Maryland Reports, Containing Cases Argued and Dete...
作者
Maryland. Court of Appeals / Alexander Contee Magruder / Oliver Miller / Nicholas Brewer (Jr) / John Shaaf Stockett / William Theophilus Brantly / William Henry Perkins / Herbert Thorndike Tiffany / Malcolm J. Coan
出版1861
ISBN
OSU:32437011879992
主題
Law reports, digests, etc
Reports of Cases Before the High Court and Circuit...
作者
Scotland. High Court of Justiciary / Alexander Forbes Irvine
出版1858
ISBN
CORNELL:31924065516266
主題
Law reports, digests, etc
A Treatise on the Law and Practice of Voluntary As...
作者
Alexander Mansfield Burrill
出版1853
ISBN
NYPL:33433008577805
主題
Assignments (Law)
Official Changes in the Active List of Permissible...
作者
Arthur William Fahrenwald / Daniel Harrington / E. J. Schneider / E.C. Lane / Edward Phillip Barrett / Ernest J. Gleim / F. A. Hartgen / Frank Arthur Patty / Frank S. Wartman / Fred Daniel DeVaney / G. B. Shea / George Leslie Oldright / George Samuel Rice / George St. John Perrott / Gordon Ray Hopkins / John D. Sullivan / John Gross / L. C. Ilsley / Ludwig Schmidt / Noah Arthur Tolch / Oliver Bowles / Percy Nicholls / R. D. Leitch / Scott Turner / Selwyne Perez Kinney / Spencer Pritchard Howell / William Wallace Odell / William Parks Yant / Alva Britt Hooker / Charles Wilson Ambler / D. B. Gawthrop / David F. Smith / Harold Putnam Greenwald / J. B. Shohan / S. R. Zimmerley / Virgil Miller / W. T. Boyer / Alan Probert / Colin Alexander Taylor / Henry C. Howarth / R. R. Sayers
出版1929
ISBN
OSU:32435067622357
主題
Aromatic compounds
An Index-digest to the California Reports
作者
Alexander Burrows
出版1891
ISBN
STANFORD:36105063190040
主題
Law reports, digests, etc
The Wedderburn Book
作者
Alexander Dundas Ogilvy Wedderburn
出版1898
ISBN
UOM:39015025923080
主題
Scotland