Saharon Shelah

Saharon Shelah

Professor of Mathematics, The Hebrew University
Email yang diverifikasi di math.huji.ac.il
Dirujuk 38070 kali
Mathematical Logic
John C Mitchell

John C Mitchell

Professor of Computer Science, Stanford University
Email yang diverifikasi di Stanford.edu
Dirujuk 34902 kali
Computer security programming languages mathematical logic education
Shai Ben-David

Shai Ben-David

Univerity of Waterloo, Canada
Email yang diverifikasi di uwaterloo.ca
Dirujuk 26991 kali
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
Email yang diverifikasi di cs.cas.cz
Dirujuk 16786 kali
logic mathematical logic set theory philosophical logic non-classical logics
Alexander Kechris

Alexander Kechris

Professor of Mathematics, Caltech
Email yang diverifikasi di caltech.edu
Dirujuk 14605 kali
Mathematical Logic
Erich Grädel

Erich Grädel

RWTH Aachen University
Email yang diverifikasi di logic.rwth-aachen.de
Dirujuk 11638 kali
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
Email yang diverifikasi di gatech.edu
Dirujuk 9095 kali
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
Email yang diverifikasi di gop.edu.tr
Dirujuk 8586 kali
Soft Set Theory Soft Decision Making Fuzzy Logic Mathematical Logic
John Hutchinson

John Hutchinson

Professor Emeritus, Australian National University
Email yang diverifikasi di anu.edu.au
Dirujuk 7573 kali
Fractals-Stochastics Geometric Measure Theory Elliptic Systems Numerical Analysis Mathematical Logic
Masanao Ozawa

Masanao Ozawa

Professor of Information Science, Nagoya University
Email yang diverifikasi di is.nagoya-u.ac.jp
Dirujuk 6771 kali
Foundations of Quantum Theory Quantum Measurement Theory Quantum Information Theory Operator Algebras Mathematical Logic
1 - 10