21. Logic Colloquium' 96 :
پدیدآورنده: edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
22. Logic: a brief course
پدیدآورنده: Mundici, Daniele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
23. Logica: Metodo Breve
پدیدآورنده: by Daniele Mundici.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.,Semantics.
24. Mathematical Principles of Fuzzy Logic
پدیدآورنده: by Vilém Novák, Irina Perfilieva, Jiří Močkoř.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematics.
25. Mathematical foundations of computer science 1993 :
پدیدآورنده: Andrzej M. Borzyszkowski, Stefan Sokołowski, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.,Informatique -- Mathématiques -- Congrès
رده :
QA76
.
9
.
M35
A537
1993
26. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده: Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
