close
1.

図書

図書
edited by G.H. Müller, A. Oberschelp, K. Potthoff
出版情報: Berlin ; New York : Springer-Verlag, 1975  iv, 651 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 499
所蔵情報: loading…
2.

図書

図書
edited by W. Bibel and R. Kowalski
出版情報: Berlin ; New York : Springer-Verlag, 1980  vii, 385 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 87
所蔵情報: loading…
3.

図書

図書
edited by Dimiter G. Skordev
出版情報: New York : Plenum Press, c1987  xiv, 371 p. ; 26 cm
所蔵情報: loading…
4.

図書

図書
edited by R.E. Shostak
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 508 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 170
所蔵情報: loading…
5.

図書

図書
edited by Hervé Gallaire and Jack Minker
出版情報: New York : Plenum Press, c1978  viii, 458 p. ; 26 cm
所蔵情報: loading…
6.

図書

図書
edited by F.R. Drake and J.K. Truss
出版情報: Amsterdam ; Tokyo : North-Holland, 1988  ix, 342 p. ; 24 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 124
所蔵情報: loading…
7.

図書

図書
M. Boscarol, L. Carlucci Aiello, G. Levi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  iv, 218 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 306
所蔵情報: loading…
目次情報: 続きを見る
An Intensional Theory of Function and Control Abstractions / L. Cardelli
Typechecking Dependent Types and Subtypes / C. Bwhm
Reducing Recursion to Iteration by Means of Pairs and N-tuples / J.-L. Lassez ; M.J. Maher ; K. Marriott
Unification Revisited / C. Zaniolo ; D. Sacc_
Rule Rewriting Methods for Efficient Implementations of Horn logic
Submitted Contributions / P. Miglioli ; U. Moscato ; M. Ornaghi
PAP: A logic Programming System Based on a Constructive Logic / E. Giovannetti ; C. Moiso
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing / N. Guarino
Representing Domain Structure of Many-sorted Prolog Knowledge Bases / A. D'Angelo
Horn: An Inference Engine Prototype to Implement Intelligent Systems / E.G. Omodeo
Hints for the Design of a Set Calculus Oriented to Automated Deduction
An Intensional Theory of Function and Control Abstractions / L. Cardelli
Typechecking Dependent Types and Subtypes / C. Bwhm
Reducing Recursion to Iteration by Means of Pairs and N-tuples / J.-L. Lassez ; M.J. Maher ; K. Marriott
8.

図書

図書
E. Lusk, R. Overbeek (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  x, 775 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 310
所蔵情報: loading…
9.

図書

図書
edited by A.R.D. Mathias, H. Rogers
出版情報: Berlin ; New York : Springer-Verlag, 1973  ix, 660 p ; 26 cm
シリーズ名: Lecture notes in mathematics ; 337
所蔵情報: loading…
10.

図書

図書
edited by D.W. Loveland
出版情報: Berlin ; New York : Springer-Verlag, 1982  vii, 389 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 138
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼