341. Logic from computer science : proceedings of a workshop held November 13-17, 1989
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical--Congresses,، Computer science--Congresses
رده :
QA
9
.
A1
.
L64
1991
342. Logic from computer science : proceedings of a workshop held November 13-17, 1989
پدیدآورنده : Y.N. Moschovakis, editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
1
.
M3
v
.
21
343. Logic functions and equations :
پدیدآورنده : Christian Posthoff, Bernd Steinback.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.,Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.
رده :
QA10
.
3
.
P67
2019
344. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
345. Logic, language, information and computation
پدیدآورنده : Luke Ong, Ruy de Queiroz (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W64
2012eb
346. Logic, language, information, and computation :
پدیدآورنده : Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W67
2013
347. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
348. Logic, language, information, and computation :
پدیدآورنده : Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Language and logic, Congresses.,Logic, Symbolic and mathematical, Congresses.,Language and logic.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
W67
2019
349. Logic, language, information, and computation :
پدیدآورنده : Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Language and logic, Congresses.,Logic, Symbolic and mathematical, Congresses.,Language and logic.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
W67
2018eb
350. Logic of Computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
351. Logic of Domains
پدیدآورنده : Zhang, Guo-Qiang, 0691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
352. Logic of computation
پدیدآورنده : edited by Helmut Schwichtenberg
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
353. Logic of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
354. Logic of domains
پدیدآورنده : Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
355. Logic of programs : Workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Computer programs,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
125
356. Logic of programs : workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer programs,، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
125
357. Logic, sets, and recursion
پدیدآورنده : Causey, Robert L.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic, Symbolic and mathematical
رده :
QA
9
.
C347
1994
358. Logic, sets, and recursion
پدیدآورنده : / Robert L. Causey
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
C347
1994
359. Logic, sets, and recursion
پدیدآورنده : Causey, Robert L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
C347
2001
360. Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
پدیدآورنده : Wolfgang Lenski )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3075
