3 results
Philippe Besnard. An introduction to default logic. Symbolic computation, artificial intelligence series. Springer-Verlag, Berlin etc. 1989, xi + 208 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1608-1610
- Print publication:
- December 1998
-
- Article
- Export citation
E. J. Neuhold. Formal properties of data bases. Foundations of computer science, edited by J. W. de Bakker, Mathematical Centre Tracts 63, Mathematisch Centrum, Amsterdam1975, pp. 119–177.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 3 / September 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-422
- Print publication:
- September 1977
-
- Article
- Export citation
J. R. Shilleto. Minimum models of analysis. The journal of symbolic logic, vol. 37 (1972), pp. 48–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 601
- Print publication:
- September 1974
-
- Article
- Export citation