61. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
76
.
6
.
F6858
1986

62. Foundations of deductive databases and logic programming

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Deductive data bases , Logic programming

رده :
QA
76
.
9
.
D32
F68
1988

63. Foundations of equational logic programming

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic programming

رده :
QA
76
.
63
.
H65
1989

64. Foundations of equational logic programming

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic programming

رده :
QA
76
.
L28
Vol
.
353

65. Foundations of inductive logic programming

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic programming,، Machine learning,، Induction )Logic(

رده :
QA
76
.
63
.
N54
1997

66. Foundations of inductive logic programming

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic programming

رده :
QA
76
.
63
.
N5
1997

67. Foundations of inductive logic programming

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic programming,، Machine learning,، Induction )Logic(

رده :
QA
76
.
L28
Vol
.
1228

68. Foundations of logic programming

پدیدآورنده :

کتابخانه: (کرمان)

موضوع : Logic programming,Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
6
.
L583
1987

69. Foundations of logic programming

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics

رده :
QA
76
.
6
.
L583
1984

70. Foundations of logic programming

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics

رده :
QA
76
.
6
.
L583
1987

71. Foundations of logic programming

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic programming,، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
6
.
L56
1987

72. Foundations of probabilistic logic programming :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic programming.,Probabilities-- Data processing.,COMPUTERS-- Logic Design.,Logic programming.,Probabilities-- Data processing.

رده :
QA76
.
63
.
R54
2018

73. From Logic Design to Logic Programming:

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer logic.,Computer programming.,Computer science.

رده :
QA76
.
9
.
A96
D769
1987

74. From Logic Programming to Prolog

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Lagic Programming,، Prolog ) Computer Program Language (

رده :
QA
76/63
/A67

75. From logic design to logic programming : theorem proving techniques and P-functions

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Automatic theorem proving,، Computer algorithms,، Logic programming

رده :
QA
76
.
L28
Vol
.
271

76. From logic programming to Prolog

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic programming,، Prolog )Computer program language(

رده :
QA
76
.
63
.
A67
1996

77. From logic programming to Prolog

پدیدآورنده :

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)

موضوع : Logic programming,Prolog (Computer program language)

رده :
QA
76
.
73
.
A67
1996

78. From logic programming to Prolog

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Logic programming , Prolog )Computer program language(

رده :
QA
76
.
63
.
A67
1997

79. From logic to logic programming

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic programming

رده :
QA
76
.
63
.
D64
1994

80. From logic to logic programming /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic programming

رده :
QA76
.
63
.
D64
1994