کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابA 25-Year perspective on logic programming
پدیدآورنده: / Agostino Dovier, Enrico Pontelli (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Italian Association for Logic Programming,Logic programming
رده :
QA76
.
63
.
T84
2010
A beginner's guide to Programming logic and design
پدیدآورنده: Farrell, Joyce.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
A guide to programming logic and design: introductory
پدیدآورنده: Farrell, Joyce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer programming,، Structured programming
رده :
QA
76
.
6
.
F37
A quick and gentle guide to constraint logic programming via ECLiPSe
پدیدآورنده: Antoni Niederliński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Eclipse (informat.),Eclipse (środowisko programistyczne).,Programowanie logiczne.
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 :
پدیدآورنده: [edited by]& Agostino Dovier, Enrico Pontelli
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع:
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
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
پدیدآورنده: / Thomas Eiter, Hannes Strass, Mirosaw Truszczyski, Stefan Woltran
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
پدیدآورنده: Thomas Eiter, Hannes Strass, Mirosaw Truszczyski, Stefan Woltran
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Advances in computational and stochastic optimization, logic programming, and heuristic search :
پدیدآورنده: edited by David L. Woodruff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming.,Mathematical optimization.,Operations research.
Advances in computational and stochastic optimization, logic programming, and heuristic search
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Operations research►Mathematical optimization
رده :
57
.
A34
Advances in inductive logic programming
پدیدآورنده: edited by L. De Raedt
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic programming
رده :
QA
76
.
63
.
A38
1996
Advances in knowledge Representation, Logic programming, and Abstract Argumentation
پدیدآورنده: \ [edited by] Thomas Eiter...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Artificial intelligence,Logic programming.,هوش مصنوعی,برنامه‌نویسی منطقی.,a03,a04,a03,a04
رده :
TJ
211
.
A3
2015
E-Book
,
Algebraic and Logic Programming :
پدیدآورنده: edited by Michael Hanus, Mario Rodríguez-Artalejo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
Algebraic and Logic Programming International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع:
رده :
QA
،
76
.
6
،.
A4583
،
1988
Algebraic and logic programming
پدیدآورنده: / J. Grabowski, P. Lescanne, W. Wechler (eds.)
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic programming -- Congresses,Algebraic logic -- Congresses
رده :
QA
76
.
6
.
A4583
1988
Algebraic and logic programming :
پدیدآورنده: Giorgio Levi, Mario Rodríguez Artalejo (Eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebraic logic-- Congresses,Logic programming-- Congresses
رده :
QA76
.
6
.
A45843
1994
Algebraic and logic programming :
پدیدآورنده: J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
Algebraic and logic programming
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic programming
رده :
005
A394
Algebraic and logic programming : International Workshop, Gaussig, GDR, Novermber 14-18, 1988 : Proceedings
پدیدآورنده: J. Grabowski, P. Lescanne, W. Wechler )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
343
Algebraic and logic programming : Second International Conference, Nancy, France, October 1-3, 1990 : Proceedings
پدیدآورنده: H. Kirchner, W. Wechler, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
463
Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده: H. Kirchner, G. Levi, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
632
Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A4584
1990
Algebraic and logic programming: 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
پدیدآورنده: Michael Hanus, Mario Rodriguez Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
1139
Algebraic and logic programming : 4th International Conference, ALP'94, Madrid, Spain, September 14-16, 1994 : proceedings
پدیدآورنده: Giorgio Levi, Mario Rodriguez Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
850
Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
پدیدآورنده: Michael Hanus, Jan Heering, Karl Meinke, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A45842
1992
An inductive logic programming approach to statistical relational learning
پدیدآورنده: / Kristian Kersting
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic programming,Uncertainty (Information theory),Machine learning,Markov processes
رده :
QA76
.
63
.
K47
2006
An introduction to logic programming through Prolog /
پدیدآورنده: Michael Spivey
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming,Prolog (Computer program language),installation PROLOG,interpréteur PROLOG,programmation en logique,PROLOG,Sémantique
رده :
QA76
.
63
.
S64
1996
An introduction to the PL/CV2 programming logic
پدیدآورنده: Constable, R L
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، PL/CV2 )Computer program language(
رده :
QA
76
.
5
.
C6615
An introduction to the PL/CV2 programming logic
پدیدآورنده: R.L. Constable, S.D. Johnson, C.D. Eichenlaub
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، PL/CV )Computer program language(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
135
An introduction to the PL/CV2 programming logic
پدیدآورنده: Constable, Robert L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، PL/CV )Computer program language(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
135
An object-oriented approach to programming logic and design
پدیدآورنده: Farrell, Joyce
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F3O2
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
پدیدآورنده: Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Religion and Philosophy
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
پدیدآورنده: / Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
پدیدآورنده: / Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
Axiomatising the Logic of Computer Programming
پدیدآورنده: by Robert Goldblatt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
Based Framework to Support Argumentation in Semantic Web Applications-A Defeasible Logic Programming
پدیدآورنده: / Naeem Khalid Janjua
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: MINERAL PROCESSING|ROBOTICS& METHODS|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Based Framework to Support Argumentation in Semantic Web Applications-A Defeasible Logic Programming
پدیدآورنده: Naeem Khalid Janjua
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: BUSINESS, MANAGEMENT AND ECONOMICS,ART
Business Programming Logic
پدیدآورنده: / Jay Singelmann ,Jean Longhurst
کتابخانه: کتابخانه و مدیریت دانش دانشکدگان مدیریت (دانشگاه تهران) (تهران)
موضوع: Business Data processing,Flowcharts
رده :
658
.
05
S617b
1985
C++ programs to accompany programming logic and design
پدیدآورنده: Jo Ann Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: C++ (Computer program language),Computer programming.
رده :
QA76
.
73
.
C153
J636
2010
Cobol logic and programming
پدیدآورنده: / Fritz A. McCameron,McCameron
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: COBOL (computer program language)
رده :
QA
76
.
5
.
M12
1988
Compability theory, Semantics, and logic programming
پدیدآورنده: / Melvin C. Fitting
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computable functions,Data structures (computer science)
رده :
QA
9
.
59
.
F58
1986
Computability theory, semantics, and logic programming
پدیدآورنده: Fitting, Melvin Chris, 1942-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Computable functions►Data structures (Computer science)
رده :
9
.
59
.
F58
Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski
پدیدآورنده: Antonis C. Kakas, Fariba Sadri )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Automatic theorem proving,، Logic programming languages,، Kowalski, Robert
رده :
QA
76
.
L28
Vol
.
2407-2408
Computing with logic : logic programming with Prolog
پدیدآورنده: Maier, David, 3591-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Prolog )Computer program language(,، Logic programming
رده :
QA
76
.
73
.
P76M349
1988
Computing with logic; logic programming with prolog
پدیدآورنده: Maier, David 1953-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Prolog(Computer program language) ► Logic brograming
رده :
005
M217c
Computing with logic; logic programming with prolog
پدیدآورنده: Maier, David 1953-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Prolog(Computer program language) ► Logic brograming
رده :
005
M217c
Conclog : a methodological approach to concurrent logic programming
پدیدآورنده: J.- M. Jacquet
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming
رده :
QA
76
.
L28
Vol
.
556
Constraint satisfaction in logic programming
پدیدآورنده: / Pascal Van Hentenryck,Van Hentenryck
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Logic programming
رده :
QA
76
.
6
.
V347
1989
DLP : a language for distributed logic programming : design, semantics, and implementation
پدیدآورنده: Eliens, Anton.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic programming )Computer science( , Electronic data processing - Distributed processing
رده :
QA
76
.
63
.
E45
1992
Digital computer programming; logic and language
پدیدآورنده: / Charles M. Thatcher and Anthony J. Capato
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming,FORTRAN (Computer program language)
رده :
651
.
8
Th-D
Digital computer programming; logic and language
پدیدآورنده: Thatcher , Charles Manson, 2291-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Electronic digital computers - Programming,، FORTRAN )computer program language(
رده :
QA
76
.
5
.
T5
Digital logic simulation and CPLD programming
پدیدآورنده: / Steve Waterman
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: م‍داره‍ای منطقی -- طرح و س‍اخ‍ت‍م‍ان -- دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,م‍داره‍ای منطقی -- ش‍ب‍ی‍ه‌س‍ازی کامپیوتری -- دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,-- Logic programming دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,وی. اچ. دی . ال (زب‍ان ت‍وص‍ی‍ف‍ی س‍خ‍ت‌اف‍زار)
رده :
TK
۷۸۶۸
/
م
۴۸
و
۲ ۱۳۸۲
Distributed constraint logic programming
پدیدآورنده: Leung, Ho-Fung.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
Distributed constraint logic programming
پدیدآورنده: Leung, Ho-Fung.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
Essentials of logic programming
پدیدآورنده: Christopher John Hogger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming
رده :
QA
76
.
63
.
H64
1990
Extensions of logic programming
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic programming
رده :
005
E96
Extensions of logic programming
پدیدآورنده: E. Lamma, P. Mello, eds.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
Extensions of logic programming
پدیدآورنده: E. Lamma, P. Mello, eds.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Logic programming -- Congresses
رده :
QA
76
.
73
.
E9
1993
Extensions of logic programming : International Workshop, Tubingen, FRG, December 8-10, 1989, Proceedings
پدیدآورنده: P. Schroeder-Heister, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
475
Extensions of logic programming : international workshop, Tubingen, FRG, December 8-10, 1989 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E97
1991
Extensions of logic programming : second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991: proceedings
پدیدآورنده: L.H. Eriksson, L. Hallnas, P. Schroeder-Heister )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
596
Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
پدیدآورنده: Roy Dyckhoff, Heirich Herre, Peter Schroeder-Heister )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1050
Extensions of logic programming : 4th International Workshop, ELP'93 St Andrews, U.K., March 29-April 1, 1993 : proceedings
پدیدآورنده: Roy Dyckhoff )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
798
Extensions of logic programming : third international workshop, ELP'92, Bologna, Italy, February 26-28, 1992 : proceedings
پدیدآورنده: E. Lamma, P. Mello, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
660
Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
پدیدآورنده: ELP '29 )2991: Bologna, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
E47
1992
Foundations of Logic Programming
پدیدآورنده: by John Wylie Lloyd.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
QA76
.
6
B956
1984
Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده: M. Boscarol, L. Carlucci Aiello, G. Levi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
306
Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده: Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
F6858
1986
Foundations of deductive databases and logic programming
پدیدآورنده: contributors, Krzysztof R. Apt ... ]et al.[ ; edited by Jack Minker
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Deductive data bases , Logic programming
رده :
QA
76
.
9
.
D32
F68
1988
Foundations of equational logic programming
پدیدآورنده: Holldobler, Steffen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Artificial intelligence
رده :
006
H737f
Foundations of equational logic programming
پدیدآورنده: Holldobler, Steffen
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming
رده :
QA
76
.
63
.
H65
1989
Foundations of equational logic programming
پدیدآورنده: Steffen Holldobler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming
رده :
QA
76
.
L28
Vol
.
353
Foundations of inductive logic programming
پدیدآورنده: Nienhuys-Cheng, S. H. )Shan-Hwei(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming,، Machine learning,، Induction )Logic(
رده :
QA
76
.
63
.
N54
1997
Foundations of inductive logic programming
پدیدآورنده: / Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic programming
رده :
QA
76
.
63
.
N5
1997
Foundations of inductive logic programming
پدیدآورنده: Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Machine learning,، Induction )Logic(
رده :
QA
76
.
L28
Vol
.
1228
Foundations of logic programming
پدیدآورنده: J.W. Lloyd
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Logic programming,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L583
1987
Foundations of logic programming
پدیدآورنده: Lloyd, John Wylie
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1984
Foundations of logic programming
پدیدآورنده: Lloyd, J. W.)John Wylie(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1987
Foundations of logic programming
پدیدآورنده: J.W. Lloyd
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L56
1987
Foundations of probabilistic logic programming :
پدیدآورنده: Fabrizio Riguzzi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming.,Probabilities-- Data processing.,COMPUTERS-- Logic Design.,Logic programming.,Probabilities-- Data processing.
رده :
QA76
.
63
.
R54
2018
From Logic Design to Logic Programming:
پدیدآورنده: D Snyers
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic.,Computer programming.,Computer science.
رده :
QA76
.
9
.
A96
D769
1987
From Logic Programming to Prolog
پدیدآورنده: / Krzysztof R. Apt
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Lagic Programming,Prolog ( Computer Program Language )
رده :
QA76/63/
.
A67
From logic design to logic programming : theorem proving techniques and P-functions
پدیدآورنده: Dominique Snyers, Andre Thayse
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving,، Computer algorithms,، Logic programming
رده :
QA
76
.
L28
Vol
.
271
From logic programming to Prolog
پدیدآورنده: Apt, Krzysztof R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming,، Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1996
From logic programming to Prolog
پدیدآورنده: Apt, Krzysztof R.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic programming , Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1997
From logic programming to Prolog
پدیدآورنده: / Krzysztof R. Apt
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Logic programming,Prolog (Computer program language)
رده :
QA
76
.
73
.
A67
1996
From logic programming to prolog.
پدیدآورنده: / Krzysztof R.Apt
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Logic programming,Prolg(Computer program language)
رده :
QA
76
.
63
.
A67
1996
From logic to logic programming
پدیدآورنده: / Kees Doets
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic programming
رده :
QA
76
.
63
.
D64
1994
From logic to logic programming /
پدیدآورنده: Kees Doets
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming
رده :
QA76
.
63
.
D64
1994
Functional and Constraint Logic Programming
پدیدآورنده: Herbert Kuchen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Functional and Constraint Logic Programming
پدیدآورنده: / Herbert Kuchen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Functional and Constraint Logic Programming
پدیدآورنده: Santiago Escobar
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Functional and Constraint Logic Programming
پدیدآورنده: / oلJulio Mari
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Functional and Constraint Logic Programming
پدیدآورنده: / Santiago Escobar
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Functional and Constraint Logic Programming
پدیدآورنده: oلJulio Mari
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia
پدیدآورنده: Santiago Escobar
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: EDUCATIONAL RESEARCH&EDUCATION
Functional and Logic Programming
پدیدآورنده: \ Oleg Kiselyov , Andy King (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Functional programming (Computer science) -- Congresses.,Logic programming -- Congresses.,Functional programming (Computer science),برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
62
.
F8
2016
E-Book
,
