פרופילים

Saharon Shelah

Professor of Mathematics, The Hebrew University

כתובת אימייל מאומתת בדומיין math.huji.ac.il

צוטט על ידי 38070

Mathematical Logic

John C Mitchell

Professor of Computer Science, Stanford University

כתובת אימייל מאומתת בדומיין Stanford.edu

צוטט על ידי 34898

Computer security programming languages mathematical logic education

Shai Ben-David

Univerity of Waterloo, Canada

כתובת אימייל מאומתת בדומיין uwaterloo.ca

צוטט על ידי 26982

Theoretical computer science Machine Learning Clustering Mathematical logic

Petr Hájek

Petr Hajek´s Memorial Page. Institute of Computer Science, Czech Academy of Sciences

כתובת אימייל מאומתת בדומיין cs.cas.cz

צוטט על ידי 16784

logic mathematical logic set theory philosophical logic non-classical logics

Alexander Kechris

Professor of Mathematics, Caltech

כתובת אימייל מאומתת בדומיין caltech.edu

צוטט על ידי 14605

Mathematical Logic

Erich Grädel

RWTH Aachen University

כתובת אימייל מאומתת בדומיין logic.rwth-aachen.de

צוטט על ידי 11638

Mathematical Logic Logic and Algorithms Algorithmic Model Theory Theory of Infinite Games Descriptive Complexity

Vijay Ganesh

Professor, Georgia Institute of Technology, Atlanta, GA, USA

כתובת אימייל מאומתת בדומיין gatech.edu

צוטט על ידי 9087

SAT/SMT Solvers AI software engineering mathematical logic quantum foundations

Naim Çağman, Professor

Tokat Gaziosmanpasa University, Gaziosmanpaşa Universitesi,Turkey

כתובת אימייל מאומתת בדומיין gop.edu.tr

צוטט על ידי 8585

Soft Set Theory Soft Decision Making Fuzzy Logic Mathematical Logic

John Hutchinson

Professor Emeritus, Australian National University

כתובת אימייל מאומתת בדומיין anu.edu.au

צוטט על ידי 7571

Fractals-Stochastics Geometric Measure Theory Elliptic Systems Numerical Analysis Mathematical Logic

Masanao Ozawa

Professor of Information Science, Nagoya University

כתובת אימייל מאומתת בדומיין is.nagoya-u.ac.jp

צוטט על ידי 6769

Foundations of Quantum Theory Quantum Measurement Theory Quantum Information Theory Operator Algebras Mathematical Logic

1 - 10