نمایه‌‌ها

نمایه‌‌ها

نمایه من کتابخانه من

Alonzo Church

Professor of Mathematics, Princeton

بیان شده در 25100 یافته

Symbolic logic Lambda calculus

Morton Swimmer

Trend Micro

ایمیل تأیید شده در swimmer.org

بیان شده در 1924 یافته

Computer Security Symbolic Logic Probabilistic Logic Machine Learning

Timothy Chambers

Lecturer in Philosophy, University of Connecticut

ایمیل تأیید شده در uconn.edu

بیان شده در 330 یافته

Philosophy Mathematics Logic Symbolic Logic Philosophy of Religion

Oleg Anshakov

Russian State University for the Humanities

ایمیل تأیید شده در rggu.ru

بیان شده در 294 یافته

Artificial Inteligence Symbolic Logic Non-Classic Logics

Justin Fuller

University of Tulsa

بیان شده در 171 یافته

Computer Engineering Symbolic Logic Avionics

Somnath Pal

Ex-Associate Professor IIEST, Shibpur

ایمیل تأیید شده در cs.iiests.ac.in

بیان شده در 114 یافته

Symbolic Logic Data Science Machine Learning Brain & Bhavioral Sciences and AI Nat. Insp. Algo.

CHAO XU

Shanxi University

ایمیل تأیید شده در sxu.edu.cn

بیان شده در 52 یافته

symbolic logic philosophical logic logic and AI logic and Cognition

Sandra M. López Velasco

Universidad de Valladolid, Spain

ایمیل تأیید شده در uva.es

بیان شده در 40 یافته

Symbolic Logic Philosophical Logic Relevance Logic Many-valued Logic

Ramón Padilla-Reyes

Linguistic Engineer, Meta

ایمیل تأیید شده در osu.edu

بیان شده در 36 یافته

Psycholinguistics Semantics AI Linguistic Engineer Prompt Engineering Symbolic Logic

Vadim Pak

Peter the Great St.Petersburg Polytechnic University (SPbPU)

ایمیل تأیید شده در cit.icc.spbstu.ru

بیان شده در 29 یافته

Symbolic logic set theory automated theorem proving

1 - 10