|
|
61. |
Computer science logic : 5th workshop, CSL '91 Berne, Switzerland, october 7-11, 1991 : proceedings /
Publication:
Berlin : Springer Verlag, 1992
. VIII, 428 p. ;
25 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
62. |
Logic, methodology and philosophy of science III; proceedings of the Third International Congress for Logic,Methodology and Philosophy of Science, Amsterdam 1967 /
Publication:
Amsterdam : North-Holland Pub. Co., 1968
. XII, 553 p. :
23 cm.
Date:1968
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
63. |
Mathematical logic and theoretical computer science /
Publication:
New York : Dekker, 1987
. XVIII, 383 p. ;
, Papers presented during thr XVI special year of the department of mathematics of the University of Maryland, 1984-1985
26 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
64. |
Graph-based proof procedure for horn clauses /
by Raatz, Stan
Publication:
Boston : Birkhauser, 1990
. 147 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
65. |
The language of first-order logic : including the program Tarski's World /
by Barwise, Jon
Publication:
Menlo Park : CSLI, 1990
. XIII, 259 p. ;
23 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
66. |
Natural language and logic : proceedings /
Publication:
Berlin ; New York : Springer-Verlag, 1990
. 252 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
67. |
10th International Conference on automated deduction. Kaiserslautern, FRG, July 1990 : proceedings /
Publication:
Berlin : Springer-Verlag, 1990
. XVI, 688 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
68. |
Extension of logic programming : International workshop, Tubingen, FRG, December 8-10, 1989 : proceedings /
Publication:
Berlin : Springer-Verlag, 1991
. VIII, 364 p. ;
24 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
69. |
Computability in analysis and physics /
by Pour-El, Marian
Publication:
Berlin : Springer-Verlag, 1989
. XII, 206 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
70. |
Algebraic and logic programming : second International conference, Nancy, France, October 1-3, 1990, proceedings /
Publication:
Berlin : Springer-Verlag, 1990
. VII, 386 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
71. |
Classical recursion theory : the theory of functions and sets of natural numbers /
by Odifreddi, Piergiorgio
Publication:
Amsterdam : North-Holland, 1989
. XVII, 668 p. :
23 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
72. |
General recursion theory : an axiomatic approach /
by Fenstad, Jens Erik
Publication:
Berlin ; New York : Springer-Verlag, 1980
. XI, 225 p. ;
25 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
73. |
Natural language understanding /
by Allen, James
Publication:
Menlo Park : Benjamin/Cummings Pub. Co., 1987
. XV, 574 p. :
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
74. |
First-order logic and automated theorem proving /
by Fitting, Melvin
Publication:
New York : Springer-Verlag, 1990
. XIII, 242 p. :
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
75. |
Sorts and types in artificial intelligence : workshoop, Eringerfeld, FRG, April 24-26, 1989 proceedings /
Publication:
Berlin : Springer Verlag, 1990
. VIII, 307 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
76. |
Colog-88 : International conference on computer logic, Tallin, USSR, December 12-16, 1988 /
Publication:
Berlin : Springer Verlag, 1990
. VI, 338 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
77. |
Computational aspects of an order-sorted logic with term declarations /
by Schmidt Schauss, M.
Publication:
Berlin : Springer Verlag, 1989
. VIII, 171 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
78. |
Prolog, children and students /
Publication:
London : Kogan Page ; New York : Nichols Pub. Co., 1988
. 217 p. :
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
79. |
Foundations of knowledge base management : contributions from logic, databases, and artificial intelligence applications /
Publication:
Berlin ; New York : Springer-Verlag, 1989
. XIV, 579 p. :
, Proceedings of the Xania Workshop on Knowledge Bade Management Systems, Crete, June 1985
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
80. |
CSL '88 : 2nd Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988, proceedings /
Publication:
Berlin : Springer-Verlag, 1989
. VI, 399 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|