عنوان
پدید آورنده
موضوع
رده
QA76.9.L63 E358 1999
QA76
.
9
.
L63
E358
1999
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540645896
(Number (ISBN
3642586228
(Number (ISBN
9783540645894
(Number (ISBN
9783642586224
NATIONAL BIBLIOGRAPHY NUMBER
Number
b558357
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computational logic
General Material Designation
[Book]
First Statement of Responsibility
edited by Ulrich Berger, Helmut Schwichtenberg.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ; New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1999
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(444 pages :) : illustrations.
SERIES
Series Title
NATO ASI series., Series F,, Computer and systems sciences ;, no. 165.
GENERAL NOTES
Text of Note
Published in cooperatiton with NATO Scientific Affairs Division.;Softcover reprint of the hardcover 1st edition 1999.
CONTENTS NOTE
Text of Note
Game Semantics.- Notes on the Simply Typed Lambda Calculus.- Problems in Type Theory.- Formal Correctness Proofs of Functional Programs: Dijkstra's Algorithm, a Case Study.- Propositional Proof Complexity - An Introduction.- Formalizing Decidability Theorems About Automata.- On the Meaning of Logical Rules I: Syntax Versus Semantics.- Complexity of Primitive Recursion.- Computers, Reasoning and Mathematical Practice.- Research Directions in Rewriting Logic.- Sequent Calculus and the Specification of Computation.
TOPICAL NAME USED AS SUBJECT
Computer logic.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
L63
Book number
E358
1999
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Ulrich Berger, Helmut Schwichtenberg.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Helmut Schwichtenberg
North Atlantic Treaty Organization. Scientific Affairs Division.
Ulrich Berger
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
