W. Sieg
发表
C. Talcott,
Richard Sommer,
W. Sieg,
2002
.
W. Sieg,
2017
.
W. Sieg,
2014,
Perspectives on Science.
Dirk Schlimm,
W. Sieg,
2014
.
W. Sieg,
2000
.
W. Sieg,
R. Morris,
2018
.
Dirk Schlimm,
Wilfried Sieg,
Dirk Schlimm,
2005,
Synthese.
D. Mundici,
W. Sieg,
2017
.
W. Sieg,
2019,
Philosophical Transactions of the Royal Society A.
W. Sieg,
1997
.
W. Sieg,
2006
.
W. Sieg,
1991
.
W. Sieg,
2008
.
W. Sieg,
1990
.
W. Sieg,
1985
.
W. Sieg,
1984,
Synthese.
C. Talcott,
Richard Sommer,
M. Rathjen,
2016
.
Frank Pfenning,
Wilfried Sieg,
F. Pfenning,
1998,
Stud Logica.
W. Sieg,
1988,
Journal of Symbolic Logic.
D. Mundici,
W. Sieg,
1993
.
E. G. K. López-Escobar,
Martin D. Davis,
Wilfried Sieg,
1986,
Journal of Symbolic Logic.
Wilfried Sieg,
W. Sieg,
Patrick Walsh,
2019,
The Review of Symbolic Logic.
Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value
pdf
Hector Zenil,
Francisco Hernández Quiroz,
Santiago Hernández-Orozco,
2015,
ArXiv.
Richard Scheines,
Wilfried Sieg,
R. Scheines,
1993
.
Dirk Schlimm,
William Ewald,
Wilfried Sieg,
2013
.
Wilfried Sieg,
John Byrnes,
W. Sieg,
1998,
Stud Logica.
Wilfried Sieg,
Farzaneh Derakhshan,
W. Sieg,
2021,
Journal of Automated Reasoning.
Carolyn L. Talcott,
Ian A. Mason,
Richard Sommer,
2016
.
Wilfried Sieg,
W. Sieg,
2007,
Log. J. IGPL.
Wilfried Sieg,
W. Sieg,
2006
.
Saverio Cittadini,
Wilfried Sieg,
W. Sieg,
2005,
Mechanizing Mathematical Reasoning.
Wilfried Sieg,
W. Sieg,
1992
.
Wilfried Sieg,
W. Sieg,
2018,
CiE.
W. Sieg,
2017,
Jahresbericht der Deutschen Mathematiker-Vereinigung.
Wilfried Sieg,
Martin Davis,
Martin D. Davis,
2015
.
Wilfried Sieg,
W. Sieg,
2008
.
Wilfried Sieg,
W. Sieg,
2007,
Natural Computing.
Wilfried Sieg,
W. Sieg,
2006,
CiE.
Wilfried Sieg,
John Byrnes,
W. Sieg,
1999
.
Wilfried Sieg,
John Byrnes,
W. Sieg,
1996
.
Wilfried Sieg,
W. Sieg,
1991
.
Wilfried Sieg,
W. Sieg,
2012,
Epistemology versus Ontology.
Wilfried Sieg,
W. Sieg,
2006
.
Wilfried Sieg,
W. Sieg,
2005,
Bulletin of Symbolic Logic.
Wilfried Sieg,
W. Sieg,
1997,
Bulletin of Symbolic Logic.
Wilfried Sieg,
W. Sieg,
1985,
Ann. Pure Appl. Log..
Solomon Feferman,
Wilfried Sieg,
S. Feferman,
1981
.
Wilfried Sieg,
W. Sieg,
2000
.
W. Sieg,
2005,
Bulletin of Symbolic Logic.
W. Sieg,
R. Kahle,
P. G. Santos,
2023,
Journal of Logic and Computation.
Wilfried Sieg,
W. Sieg,
1990,
Synthese.
Wilfried Sieg,
John Byrnes,
W. Sieg,
1999
.
Wilfried Sieg,
Clinton Field,
W. Sieg,
2005
.
Wilfried Sieg,
W. Sieg,
1999,
Bulletin of Symbolic Logic.
Wilfried Sieg,
W. Sieg,
2009,
Logic from Russell to Church.
Wilfried Sieg,
W. Sieg,
Mark Ravaglia,
2005
.
Wilfried Sieg,
W. Sieg,
2017
.
Wilfried Sieg,
W. Sieg,
1997
.
Wilfried Sieg,
Stanley S. Wainer,
S. Wainer,
1993,
CSL.
W. Sieg,
1985
.
Wilfried Sieg,
Máté Szabó,
Dawn McLaughlin,
2016,
Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
W. Sieg,
John Byrnes,
1999
.