close
1.

図書

図書
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
2.

図書

図書
edited by Luigia Carlucci Aiello, Jon Doyle, Stuart Shapiro
出版情報: San Francisco, CA : Morgan Kaufmann Publishers, c1996  xiii 671 p. ; 28 cm
シリーズ名: The Morgan Kaufmann series in representation and reasoning
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼