421. WALCOM
پدیدآورنده : Md. Saidur Rahman, Satoshi Fujita (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
رده :
QA
،
76
.
9
،.
D35
,
W34
،
2010
422. based representation and reasoning :-Graph
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Conceptual structures (Information theory) ; Congresses. ;
423. 8th International Conference on Automated Deduction :
پدیدآورنده : edited by Jörg H. Siekmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
424. 13th International Conference on Theory and Application of Fuzzy Systems and Soft Computing -- ICAFS-2018 /
پدیدآورنده : edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo. Jamshidi, Fahreddin M. Sadikoglu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy logic, Congresses.,Fuzzy mathematics, Congresses.,Fuzzy systems, Congresses.,Soft computing, Congresses.,Fuzzy logic.,Fuzzy mathematics.,Fuzzy systems.,Soft computing.
رده :
QA9
.
64
.
I28
2018
425. theoretic concepts in computer science-Graph
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Graph theory ; Congresses. ; Computer science ; Congresses. ; Computer algorithms ; Congresses. ;
