Saharon Shelah

Saharon Shelah

Professor of Mathematics, The Hebrew University
在 math.huji.ac.il 的电子邮件经过验证
被引用次数：37496
Mathematical Logic
John C Mitchell

John C Mitchell

Professor of Computer Science, Stanford University
在 Stanford.edu 的电子邮件经过验证
被引用次数：33972
Computer security programming languages mathematical logic education
Shai Ben-David

Shai Ben-David

Univerity of Waterloo, Canada
在 uwaterloo.ca 的电子邮件经过验证
被引用次数：24627
Theoretical computer science Machine Learning Clustering Mathematical logic
Petr Hájek

Petr Hájek

Petr Hajek´s Memorial Page. Institute of Computer Science, Czech Academy of Sciences
在 cs.cas.cz 的电子邮件经过验证
被引用次数：16239
logic mathematical logic set theory philosophical logic non-classical logics
Alexander Kechris

Alexander Kechris

Professor of Mathematics, Caltech
在 caltech.edu 的电子邮件经过验证
被引用次数：14054
Mathematical Logic
Erich Grädel

Erich Grädel

RWTH Aachen University
在 logic.rwth-aachen.de 的电子邮件经过验证
被引用次数：11443
Mathematical Logic Logic and Algorithms Algorithmic Model Theory Theory of Infinite Games Descriptive Complexity
Vijay Ganesh

Vijay Ganesh

Professor, Georgia Institute of Technology, Atlanta, GA, USA
在 gatech.edu 的电子邮件经过验证
被引用次数：8485
SAT/SMT Solvers AI software engineering mathematical logic quantum foundations
Naim Çağman, Professor

Naim Çağman, Professor

Tokat Gaziosmanpasa University, Gaziosmanpaşa Universitesi,Turkey
在 gop.edu.tr 的电子邮件经过验证
被引用次数：7914
Soft Set Theory Soft Decision Making Fuzzy Logic Mathematical Logic
John Hutchinson

John Hutchinson

Professor Emeritus, Australian National University
在 anu.edu.au 的电子邮件经过验证
被引用次数：7317
Fractals-Stochastics Geometric Measure Theory Elliptic Systems Numerical Analysis Mathematical Logic
Stephen G. Simpson

Stephen G. Simpson

Research Professor, Mathematics, Vanderbilt University
在 psu.edu 的电子邮件经过验证
被引用次数：6545
Mathematical Logic Foundations of Mathematics Degrees of Unsolvability Ramsey Theory
1 - 10