Wilfried Sieg
发表
Wilfried Sieg,
Wilfried Sieg,
1987,
Computation Theory and Logic.
Richard Scheines,
Wilfried Sieg,
1994,
Interact. Learn. Environ..
Wilfried Sieg,
W. Sieg,
1997
.
Wilfried Sieg,
Stanley S. Wainer,
S. Wainer,
1993,
CSL.
Richard Sommer,
Wilfried Sieg,
Carolyn Talcott,
2016
.
Wilfried Sieg,
John Byrnes,
W. Sieg,
1998,
Stud Logica.
Christian D. Schunn,
Melissa M. Patchan,
Wilfried Sieg,
2016
.
Wilfried Sieg,
1990
.
Carolyn L. Talcott,
Ian A. Mason,
Richard Sommer,
2016
.
E. G. K. López-Escobar,
Martin D. Davis,
Wilfried Sieg,
1986,
Journal of Symbolic Logic.
Wilfried Sieg,
W. Sieg,
2007,
Log. J. IGPL.
Wilfried Sieg,
1989
.
Paolo Mancosu,
Richard Sommer,
Wilfried Sieg,
2010
.
Wilfried Sieg,
W. Sieg,
2007,
Natural Computing.
Wilfried Sieg,
Martin Davis,
Martin D. Davis,
2015
.
Wilfrid Hodges,
Wilfried Sieg,
1988,
J. Symb. Log..
Wilfried Sieg,
Máté Szabó,
Dawn McLaughlin,
2016,
Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Wilfried Sieg,
Rosella Lupiccini,
2005
.
Dirk Schlimm,
Wilfried Sieg,
Dirk Schlimm,
2005,
Synthese.
Wilfried Sieg,
2000
.
Wilfried Sieg,
W. Sieg,
2017
.
Wilfried Sieg,
1994
.
Wilfried Sieg,
Charles Parsons,
2017,
Bull. Symb. Log..
Wilfried Sieg,
1988,
J. Symb. Log..
Wilfried Sieg,
John Byrnes,
W. Sieg,
1996
.
Wilfried Sieg,
W. Sieg,
1991
.
Wilfried Sieg,
W. Sieg,
2000
.
Frank Pfenning,
Wilfried Sieg,
F. Pfenning,
1998,
Stud Logica.
Wilfried Sieg,
W. Sieg,
2006,
CiE.
Steffen Lempp,
Wilfried Sieg,
M. Dezani,
2004
.
Wilfried Sieg,
W. Sieg,
1997,
Bulletin of Symbolic Logic.
Wilfried Sieg,
1990
.
Wilfried Sieg,
W. Sieg,
1992
.
Wilfried Sieg,
W. Sieg,
2005,
Bulletin of Symbolic Logic.
Wilfried Sieg,
W. Sieg,
2009,
Logic from Russell to Church.
Wilfried Sieg,
2005,
CiE.
Wilfried Sieg,
John Byrnes,
1996
.
Richard Scheines,
Wilfried Sieg,
R. Scheines,
1993
.
Wilfried Sieg,
W. Sieg,
1985,
Ann. Pure Appl. Log..
Wilfried Sieg,
Clinton Field,
2005,
Ann. Pure Appl. Log..
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.
Wilfried Sieg,
John Byrnes,
1994
.
Wilfried Sieg,
W. Sieg,
1999,
Bulletin of Symbolic Logic.
Wilfried Sieg,
W. Sieg,
2006
.
Wilfried Sieg,
Clinton Field,
W. Sieg,
2005
.
Saverio Cittadini,
Wilfried Sieg,
W. Sieg,
2005,
Mechanizing Mathematical Reasoning.
Wilfried Sieg,
W. Sieg,
2018,
CiE.
William Ewald,
Wilfried Sieg,
2013
.
Wilfried Sieg,
W. Sieg,
2012,
Epistemology versus Ontology.
Wilfried Sieg,
1997,
Bull. Symb. Log..
Wilfried Sieg,
John Byrnes,
W. Sieg,
1999
.
Wilfried Sieg,
1991,
Arch. Math. Log..
Wilfried Sieg,
Michael Hallett,
Ulrich Majer,
2012
.
Wilfried Sieg,
Farzaneh Derakhshan,
W. Sieg,
2021,
Journal of Automated Reasoning.
Wilfried Sieg,
1984
.
Dirk Schlimm,
William Ewald,
Wilfried Sieg,
2013
.
Wilfried Sieg,
Daniele,
Mundici,
2005
.
Wilfried Sieg,
2013
.
Wilfried Sieg,
W. Sieg,
Patrick Walsh,
2019,
The Review of Symbolic Logic.
Wilfried Sieg,
W. Sieg,
2008
.
Wilfried Sieg,
W. Sieg,
2006
.
Solomon Feferman,
Wilfried Sieg,
1981
.
Wilfried Sieg,
Barabara Kauffmann,
1993
.
Wilfried Sieg,
1990
.
Wilfried Sieg,
1990
.
Wilfried Sieg,
Wilfried Buchholz,
1990
.
John W. Dawson,
Solomon Feferman,
Wilfried Sieg,
2004
.
Wilfried Sieg,
W. Sieg,
1990,
Synthese.
Solomon Feferman,
Wilfried Sieg,
S. Feferman,
1981
.
Wilfried Sieg,
1981
.
Wilfried Sieg,
W. Sieg,
Mark Ravaglia,
2005
.
Wilfried Sieg,
John Byrnes,
W. Sieg,
1999
.