1,222 research outputs found
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
No full text
Fourth Conference on Artificial Intelligence for Space Applications
Get PDFProceedings of a conference held in Huntsville, Alabama, on November 15-16, 1988. The Fourth Conference on Artificial Intelligence for Space Applications brings together diverse technical and scientific work in order to help those who employ AI methods in space applications to identify common goals and to address issues of general interest in the AI community. Topics include the following: space applications of expert systems in fault diagnostics, in telemetry monitoring and data collection, in design and systems integration; and in planning and scheduling; knowledge representation, capture, verification, and management; robotics and vision; adaptive learning; and automatic programming
Association of Christians in the Mathematical Sciences Proceedings 2017
Get PDFThe conference proceedings of the Association of Christians in the Mathematical Sciences biannual conference, May 31-June 2, 2017 at Charleson Southern University
- …
