Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Adapting Proofs as Programs The Curry Howard Protocol J...

Main
Adapting Proofs as Programs The Curry...

Adapting Proofs as Programs The Curry Howard Protocol J Poernomo Springer

Desconocido

0 / 0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Տարի:

2007

Լեզու:

spanish

ISBN 10:

0387237593

ISBN 13:

9780387237596

Ֆայլ:

AZW3 , 948 KB

IPFS:

,

spanish, 2007

Կարդալ Առցանց

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

Desconocido — Adapting Proofs as Programs The Curry Howard Protocol J Poernomo Springer

Underwood J.L. — Aspects of the computational content of proofs

Kohlenbach U. — Proof interpretations

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Morten Heine Sorensen, Pawel Urzyczyn — Lectures on the Curry-Howard Isomorphism

Hoare Charles Antony Richard, Shepherdson J.C. (eds.) — Mathematical logic and programming languages

Thomas S. E. Maibaum, Wladyslaw M. Turski — The Specification of Computer Programs (International Computer Science Series)

Iman Poernomo, John N. Crossley, Martin Wirsing — Adapting Proofs-as-Programs : The Curry-Howard Protocol

Gabbay, Dov M.(Author) — Handbook of the History of Logic, Volume 5 : Logic from Russell to Church

Morten Heine Sørensen, Paweł Urzyczyn — Lectures on the Curry-Howard Isomorphism

Anne S. Troelstra, Dirk van Dalen — Constructivism in mathematics: An introduction

Dirk van Dalen, etc. — Logic Colloquium '80 (no TOC)

A.S. Troelstra, D.van Dalen — The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

J. E. Fenstad (editor) — Proc. 2nd Scandinavian Logic Symposium

A. G. Dragalin — Mathematical Intuitionism: Introduction to Proof Theory

Dieter Probst;Peter Schuster — Concepts of Proof in Mathematics, Philosophy, and Computer Science

Dieter Probst;Peter Schuster — Concepts of Proof in Mathematics

Odifreddi, Piergiorgio Odifreddi — Kreiseliana: About and Around Georg Kreisel

Wolfgang Schreiner — Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

F. Richman — Constructive Mathematics. Proc. conf. New Mexico, 1980

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Stuart A. Kurtz, John C. Mitchell (auth.), J. Paul Myers Jr., Michael J. O'Donnell (eds.) — Constructivity in Computer Science: Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding

Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.) — Logic and Algebra of Specification

Ulrich Berger, Helmut Schwichtenberg (eds.) — Computational Logic

Andrea Cantini, Ettore Casari, Pierluigi Minari — Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Marcelo Fabian Frias — Fork Algebras in Algebra, Logic and Computer Science

Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay — The Functional Interpretation of Logical Deduction

Հիմնական արտահայտություններ