|
|
|
41. |
Temporal logics and their applications /
Publication:
London ; San Diego : Academic Press, 1987
. XII, 244 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
42. |
Logic for computer science : foundations of automatic theorem proving /
by Gallier, Jean H.
Publication:
New York : Wiley, 1987
. XV, 511 p. ;
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
43. |
Theoretical aspects of reasoning about knowledge : proceedings of the second conference, March 7-9, 1988, Pacific Grove, California /
by TARK
Publication:
Los Altos : Morgan Kaufmann Publishers, 1988
. VIII, 401 p. :
28 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
44. |
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:
|
|
|
45. |
Non-standard logics for automated reasoning /
Publication:
London : Academic Press, 1988
. X, 334 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
46. |
Readings in nonmonotonic reasoning /
Publication:
Los Altos : M. Kaufmann Publishers, 1987
. VIII, 481 p. :
28 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
47. |
Fuzzy logic in knowledge engineering /
Publication:
Koln : TUV Rheinland, 1986
. 358 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
48. |
Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California /
by TARK
Publication:
Los Altos : M. Kaufmann Publishers, 1986
. VII, 407 p. ;
28 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
49. |
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:
|
|
|
50. |
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:
|
|
|
51. |
Foundations of logic programming /
by Lloyd, John Wylie
Publication:
Berlin ; New York : Springer-Verlag, 1984
. X, 124 p. ;
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
52. |
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:
|
|
|
53. |
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:
|
|
|
54. |
Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Publication:
Amsterdam ; New York : North-Holland Pub. Co., 1979
. X, 434 o. ;
23 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
55. |
5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980 /
Publication:
Berlin : Springer-Verlag, 1980
. VII, 385 p. ;
24 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
56. |
Lectures on the logic of computer programming /
by Manna, Zohar
Publication:
Philadelphia, [Pa.] : Society for Industrial and Applied Mathematics, 1980
. IV, 49 p. ;
25 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
57. |
Logic and structure /
by Dalen, Dirk van
Publication:
Berlin ; New York : Springer-Verlag, 1980
. VII, 172 p. ;
24 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
58. |
Logic and data bases /
Publication:
New York : Plenum Press, 1978
. VIII, 458 p. :
26 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
59. |
Handbook of logic and language /
Publication:
Amsterdam : Elsevier, 1997
. XXIII, 1247 p. ;
25 cm.
Date:1997
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
60. |
Logic for problem solving /
by Kowalski, Robert
Publication:
New York : Elsevier North Holland, 1979
. 287 p. :
24 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
