282. BL
پدیدآورنده : \ Elio Christoph Brancaforte
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
285. BL
پدیدآورنده : 20090131 01893nam1 22002412i 450 001000700000020001700007100004500024101000800069200009900077210012900176215000900305320004500314327084900
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
287. BL
پدیدآورنده : Ellen D. Reeder, editor ; with essays by Esther Jacobson ... [et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
288. BL 00617ncl 22002173i
پدیدآورنده : Mīrzā Abdalaẓīm Sāmī ; izdanie teksta, predislovie, perevod i primechanii� a︡ L.M. Epifanovoǐ.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
289. Based Program Synthesis and Transformation :-Logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses. ;
290. Based on the author's thesis (Inaugural-Dissertation)--University of H
پدیدآورنده : Jörn Weingärtner.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
291. Buddhist Logic And Epistemology: Studies In The Buddhist Analysis Of Inference And Language
پدیدآورنده : / Edited By Bimal Krishna Matilal, And Robert D. Evans
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : Buddhist logic -- Congresses.,Knowledge, Theory of (Buddhism) -- Congresses.
رده :
B
25
.
B8
292. Buddhist logic and epistemology :
پدیدآورنده : edited by Bimal Krishna Matilal and Robert D. Evans.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Buddhist logic, Congresses.,Knowledge, Theory of (Buddhism), Congresses.,Aufsatzsammlung.,Boeddhisme.,Buddhismus.,Buddhismus.,Buddhist logic.,Buddhist logic.,Erkenntnistheorie.,Erkenntnistheorie.,Kennistheorie.,Knowledge, Theory of (Buddhism),Knowledge, Theory of (Buddhism),Logica.,Logik.,Logik.,Logischer Schluss.,Logischer Schluss.
رده :
BC25
.
B83
1986
293. Buddhist logic and epistemology :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Buddhist logic ; Congresses. ;
294. Buddhist logic and epistemology: Studies in the Buddhist analysis of inference and language
پدیدآورنده : edited by Bimal Krishna Matilal and Robert D. Evans
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : Congresses ، Buddhist logic,Congresses ، Knowledge, Theory of )Buddhism(
رده :
BC
25
.
B8
295. Buddhist logic and epistemology :studies in the Buddhist analysis of inference and language
پدیدآورنده : edited by Bimal Krishna Matilal and Robert D. Evans
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : Congresses ، Buddhist logic,Congresses ، Knowledge, Theory of )Buddhism(
رده :
BC
25
.
B83
1986
296. 17 :-CADE--Automated deduction
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Automatic theorem proving ; Congresses ; Logic, Symbolic and mathematical ; Congresses ;
297. 21- CADE--Automated deduction
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Automatic theorem proving ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
298. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده : P. Martin-Lof, G Mints, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
299. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
