|
|
81. |
Logic based knowledge representation /
by Jackson, Peter
Publication:
Cambridge : The MIT Press, 1989
. XV, 255 p. ;
23 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
82. |
Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings /
Publication:
Berlin ; New York : Springer-Verlag, 1989
. XIV, 237 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
83. |
Programming languages implementation and logic programming : proceedings of the International Workshop PLILP '88, Orleans, France, May16-18, 1988 /
Publication:
Berlin ; New York : Springer-Verlag, 1989
. VI, 299 p. :
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
84. |
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets /
by Soare, Robert I.
Publication:
Berlin : Springer-Verlag, 1987
. XVII, 437 p. :
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
85. |
Formal methods in artificial intelligence /
by Ramsay, Allan
Publication:
Cambridge ; New York : Cambridge University Press, 1988
. IX, 279 p. :
26 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
86. |
Vol. 1
Publication:
Cambridge : The MIT Press, 1988
. XX, 858 p. :
23 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
87. |
Automated theorem-proving in non-classical ligics /
by Thistlewaite, Paul B.
Publication:
London : Pitman ; New York : Wiley, 1988
. 154 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
88. |
Foundations of logic and functional programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Publication:
Berlin ; New York : Springer-Verlag, 1988
. IV, 218 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
89. |
Vol. 1
Publication:
Cambridge : The MIT Press, 1987
. XIV, 555 p. :
23 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
90. |
Parallel logic programming in parlog : the language and its implementation /
by Gregory, Steve
Publication:
Workingham : Addison-Wesley, 1987
. 217 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
91. |
The art of Prolog : advanced programming techniques /
by Sterling, Leon
Publication:
Cambridge : The MIT Press, 1986
. XXVIII, 437 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
92. |
Introduction to logic programming /
by Hogger, Christopher John
Publication:
London ; Orlando : Academic Press, 1984
. XII, 278 p. :
24 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
93. |
Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 /
Publication:
Berlin ; New York : Springer-Verlag, 1986
. IX, 311 p. :
25 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
94. |
Third International Conference on logic programming, Imperial College of Science and technology, London, United Kingdom, July 14-18, 1986 : proceedings /
Publication:
Berlin : Springer-Verlag, 1986
. IX, 720 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
95. |
Vol. 1: Deductive reasoning
by Manna, Zohar
Publication:
Reading : Addison-Wesley, 1985
. XII, 618 p. :
25 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
96. |
Logic and machines : decision problems and complexity : proceedings of the Symposiium Rekursive Kombinatorik held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frudlagenforschung der Universitat Munster-Westfalen /
Publication:
Berlin : Springer-Verlag, 1984
. VI, 456 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
97. |
Micro-PROLOG : programming in logic /
by Clark, Keith L.
Publication:
Englewood Cliffs, [N. J.] : Prentice/Hall International, 1984
. XI, 401 p. :
23 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
98. |
Reasoning from incomplete knowledge in a procedural deduction system /
by Moore, Robert C.
Publication:
New York : Garland Pub., 1980
. 112 p. :
, Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975.
21 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
99. |
Logic, methodology, and philosophy of science VI : proceedings of the sixth international congress of logic, methodology and phylosophy of science, Hannover, 1979 /
Publication:
Amsterdam ; New York : North-Holland Pub. Co., 1982
. XIV, 856 p. ;
23 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
100. |
The lambda calculus : its syntax and semantics /
by Barendregt, Hendrik Pieter
Publication:
Amsterdam : North-Holland Pub. Co., 1981
. XIV, 615 p. :
23 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|