Chapter: Two Kinds of Program Specifications

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 > Two Kinds of Program Specifications

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 |

J.W. Lloyd

Springer Berlin Heidelberg

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990

Two Kinds of Program Specifications

Chapter Info

Authors

John McCarthy

ARI Id

1664322899567_1209912

Access

Not Available Free

Pages

114-115

DOI

10.1007/978-3-642-76274-1_5

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-76274-1_5

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 16 of 16 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		I-XI
Problems and Promises of Computational Logic	Robert A. Kowalski	1-36
An Introduction to Prolog III	Alain Colmerauer	37-79
On Open Defaults	Vladimir Lifschitz	80-95
On Asking What a Database Knows	Raymond Reiter	96-113
Two Kinds of Program Specifications	John McCarthy	114-115
Exploration with Mathematica	Dana S. Scott	116-116
Composition Operators for Logic Theories	Antonio Brogi; Paolo Mancarella; Dino Pedreschi; Franco Turini	117-134
The Synthesis of Logic Programs from Inductive Proofs	Alan Bundy; Alan Smaill; Geraint Wiggins	135-149
Studies in Pure Prolog: Termination	Krzysztof R. Apt; Dino Pedreschi	150-176
Concept Logics	Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg H. Siekmann	177-201
Programming in 2010? A scientific and industrial challenge	Gérard Comyn	202-203
Perspective on Computational Logic	Hervé Gallaire	204-205
Programming in the year 2010	Robert Kowalski	206-207
It’s Past Time for Practical Computer Checked Proofs of Program Correctness	John McCarthy	208-209
Computational Logic needs Symbolic Mathematics	Dana S. Scott	210-211
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 16 of 16 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries