عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3642590489
3642638325
9783642590481
9783642638329
b556419
Logic of Computation
[Book]
edited by Helmut Schwichtenberg.
Berlin, Heidelberg
Springer Berlin Heidelberg : Imprint : Springer
1997
(VII, 394 pages)
NATO ASI series., Series F,, Computer and systems sciences ;, 157.
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.
Proceedings of the NATO Advanced Study Institute on Logic of Computation,held in Marktoberdorf,Germany,July 25-Aug.6,1995
Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-Aug. 6,1995
Computer science -- Congresses.
Computer science.
Logic, Symbolic and mathematical -- Congresses.
edited by Helmut Schwichtenberg.
Helmut Schwichtenberg
مطالعه متن کتاب [Book]
Y
