عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 E358 1990
QA76
.
9
.
A96
E358
1990
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642762743
(Number (ISBN
364276276X
(Number (ISBN
9783642762741
(Number (ISBN
9783642762765
NATIONAL BIBLIOGRAPHY NUMBER
Number
b549883
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computational Logic :
General Material Designation
[Book]
Other Title Information
Symposium Proceedings, Brussels, November 13/14, 1990
First Statement of Responsibility
edited by John W. Lloyd.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg
Date of Publication, Distribution, etc.
1990
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(XI, 211 pages 2 illustrations)
SERIES
Series Title
ESPRIT basic research series.
CONTENTS NOTE
Text of Note
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.
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Artificial intelligence.
Computer science.
Logic design.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
Book number
E358
1990
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by John W. Lloyd.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
John W Lloyd
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
