عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642590489
(Number (ISBN
3642638325
(Number (ISBN
9783642590481
(Number (ISBN
9783642638329
NATIONAL BIBLIOGRAPHY NUMBER
Number
b556419
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic of Computation
General Material Designation
[Book]
First Statement of Responsibility
edited by Helmut Schwichtenberg.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg : Imprint : Springer
Date of Publication, Distribution, etc.
1997
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(VII, 394 pages)
SERIES
Series Title
NATO ASI series., Series F,, Computer and systems sciences ;, 157.
CONTENTS NOTE
Text of Note
Lectures on Semantics: The Initial Algebra and Final Coalgebra Perspectives --;to Gröbner Bases --;Bounded Arithmetic and Propositional Proof Complexity --;The Structure of Nuprl's Type Theory --;Axiomatisations, Proofs, and Formal Specifications of Algorithms: Commented Case Studies in the Coq Proof Assistant --;Some Proof Theory of First Order Logic Programming --;Timed Rewriting Logic for the Specification of Time-Sensitive Systems --;Logic Programming and Meta-Logic --;Proofs, Lambda Terms and Control Operators --;Basic Proof Theory with Applications to Computation.
SUMMARY OR ABSTRACT
Text of Note
Proceedings of the NATO Advanced Study Institute on Logic of Computation,held in Marktoberdorf,Germany,July 25-Aug.6,1995
PARALLEL TITLE PROPER
Parallel Title
Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-Aug. 6,1995
TOPICAL NAME USED AS SUBJECT
Computer science -- Congresses.
Computer science.
Logic, Symbolic and mathematical -- Congresses.
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Helmut Schwichtenberg.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Helmut Schwichtenberg
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
