41. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده : S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429
42. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
43. Logic and its applications
پدیدآورنده : Burke, Edmund
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic programming , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
B87
1996
44. Logic and its applications
پدیدآورنده : Burke, Edmund
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
B87
1996
45. Logic for applications
پدیدآورنده : Nerode, Anil, 2391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
N47
46. Logic for computer scientists
پدیدآورنده : Schoning, Uwe, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Logic programming
رده :
QA
9
.
S363
1989
47. Logic for computer scientists
پدیدآورنده : Schoning, Uw
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Logic programming
رده :
QA
9
.
S363
1989
48. Logic for computer scientists
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming. ; Logic, Symbolic and mathematical. ;
49. Logic for computer scientists /
پدیدآورنده : Uwe Schöning.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming.,Logic, Symbolic and mathematical.,logique.,programmation en logique.,Logique symbolique et mathématique.,Programmation logique.,31.80 applications of mathematics.,Datenverarbeitung,Informatik,Logic programming.,Logic programming.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Logique symbolique et mathématique.,Logische Programmierung,Programmation logique.
رده :
QA9
.
S363
1989
50. Logic for problem solving
پدیدآورنده : Kowalski, Robert
موضوع : ، Problem solving,، Electronic digital computer-- Programming,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
51. Logic, language, information, and computation :
پدیدآورنده : Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W67
2013
52. 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
53. Logic of Computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
54. Logic of Domains
پدیدآورنده : Zhang, Guo-Qiang, 0691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
55. Logic of domains
پدیدآورنده : Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
56. Logical methods : in honor of Anil Nerode's Sixtieth birthday
پدیدآورنده : John N. Crossley...]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical,، Nerode, Anil, 2391-
رده :
QA
76
.
63
.
L63
57. Logical methods : in honor of Anil Nerode's sixtieth birthday
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical,، Nerode, Anil, 2391-
رده :
QA
76
.
63
.
L59
.
L64
1993
58. Logics in AI : European Workshop JELIA'90, Amsterdam, the Netherlands, September 10-14, 1990 :proceedings
پدیدآورنده : J. Van Eijck )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic programming,Data processing -- Congresses ، Semantics,Congresses ، Logic, Symbolic and mathematical,Congresses ، Nonclassical mathematical logic
رده :
QA
76
.
L28
Vol
.
478
59. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
پدیدآورنده : European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
60. Logics in artificial intelligence :
پدیدآورنده : Francesco Calimeri, Nicola Leone, Marco Manna (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Artificial intelligence.,Logic, Symbolic and mathematical.
رده :
Q334
