کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابA science of operations: Machines, logic and the invention of programming
پدیدآورنده: / Mark Priestley (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
پدیدآورنده: Agostino Dovier, Enrico Pontelli )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming
رده :
QA
76
.
63
.
A14
2010
Axiomatising the Logic of Computer Programming
پدیدآورنده: by Robert Goldblatt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
Logic Programming'85 : Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985
پدیدآورنده: edited by Eiiti Wada
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
221
Logic Programming and non-monotonic reasoning : Proceedings of the first international workshop
پدیدآورنده: edited by Anil-Nerode, Wiktor Marek, and V.S. Subrahmanian
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
63
.
I5
1991
Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming )Computer science(-- Congresses
رده :
QA
76
.
63
.
L6324
1989
Logic Programming' 89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989
پدیدآورنده: K. Furukawa, H. Tanaka, T. Fujisaki eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
485
Logic programming'88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
پدیدآورنده: K. Furukawa, H. Tanaka, T. Fujisaki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
383
Logic programming'87 : Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987
پدیدآورنده: K. Furukawa, H. Tanaka, T. Fujisaki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
315
Logic programming '86 : Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986
پدیدآورنده: Eiiti Wada, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
264
Logic programming '88: proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L63
1989
Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
پدیدآورنده: edited by Eiiti Wada
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L4
v
.
221
Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
6
.
L58762
1988
Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
پدیدآورنده: edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
رده :
QA
76
.
63
.
I58
1987
Natural language understanding and logic programming, III : Proceedings of the third International
پدیدآورنده: edited by Charles Grant Brown, Gregers Koch
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
63
.
I58
1991
Parallel and distributed logic programming: towards the design of a framework for the next generation database machines
پدیدآورنده: Bhattacharya, Alakananda
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Parallel programming )Computer science(,Distributed processing ، Electronic data processing,، Logic programming,، Petri nets
رده :
QA
76
.
642
.
B484
Proceedings of the 3rd UK Annual Conference on Logic Programming :
پدیدآورنده: Geraint A. Wiggins ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logische Programmierung.
رده :
QA76
.
63
G473
1992
Proceedings of the 4th UK Conference on Logic Programming :
پدیدآورنده: Krysia Broda (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logische Programmierung.
رده :
QA76
.
63
K797
1993
Prolog++: the power of object- Oriented and Logic Programming
پدیدآورنده: Moss, Chris
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Prolog++(Computer program language) ► Object- Oriented programming(Computer science) ► Logic programming
رده :
005
M894p
Prolog++ : the power of object-oriented and logic programming
پدیدآورنده: Moss, Christopher D. S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Prolog++ )Computer program language(,، Object-oriented programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P2
.
M69
1994
The logic of programming
پدیدآورنده: Hehner, Eric C. R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
The logic of programming
پدیدآورنده: Hehner, Eric C. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
The logic of programming
پدیدآورنده: / Eric C.R. Hehner
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer programming,Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H42
1984
The logic of programming
پدیدآورنده: / Eric C. R. Hehner
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Programming(Electronic computer),Logic,Symbolic and mathematical
رده :
QA
76
.
76
.
H427
1984
WCFLP'05 : proceedings of the ACM SIGPLAN 2005: Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia
پدیدآورنده: sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming languages,Congresses ، Functional programming )Computer science(
رده :
QA
76
.
62
.
A37
2005
Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP-A 25
پدیدآورنده: / Gianfranco Rossi (auth.), Agostino Dovier, Enrico Pontelli (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
