|
" Computational Logic : "
edited by John W. Lloyd.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
730124
|
| Doc. No
|
:
|
b549883
|
| Main Entry
|
:
|
edited by John W. Lloyd.
|
| Title & Author
|
:
|
Computational Logic : : Symposium Proceedings, Brussels, November 13/14, 1990\ edited by John W. Lloyd.
|
| Publication Statement
|
:
|
Berlin, Heidelberg: Springer Berlin Heidelberg, 1990
|
| Series Statement
|
:
|
ESPRIT basic research series.
|
| Page. NO
|
:
|
(XI, 211 pages 2 illustrations)
|
| ISBN
|
:
|
3642762743
|
|
|
:
|
: 364276276X
|
|
|
:
|
: 9783642762741
|
|
|
:
|
: 9783642762765
|
| Contents
|
:
|
Problems and Promises of Computational Logic --;An Introduction to Prolog III --;On Open Defaults --;On Asking What a Database Knows --;Two Kinds of Program Specifications --;Exploration with Mathematica --;Composition Operators for Logic Theories --;The Synthesis of Logic Programs from Inductive Proofs --;Studies in Pure Prolog: Termination --;Concept Logics --;Position papers for the panel session Programming in 2010: The Role of Computational Logic --;Programming in 2010? A scientific and industrial challenge --;Perspective on Computational Logic --;Programming in the year 2010 --;It's Past Time for Practical Computer Checked Proofs of Program Correctness --;Computational Logic needs Symbolic Mathematics.
|
| Abstract
|
:
|
This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology.
|
| Subject
|
:
|
Artificial intelligence.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Logic design.
|
| LC Classification
|
:
|
QA76.9.A96E358 1990
|
| Added Entry
|
:
|
John W Lloyd
|
| |