Adapting proofs-as-programs the curry-howard protocol /

Adapting proofs-as-programs the curry-howard protocol /

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Poernomo, Iman Hafiz (Author)
Korporativna značnica:	SpringerLink (Online service)
Drugi avtorji:	Crossley, John Newsome, Wirsing, Martin
Format:	eKnjiga
Jezik:	English
Izdano:	New York, NY Springer 2005.
Serija:	Monographs in Computer Science,
Teme:	Logic, Symbolic and mathematical Software engineering Logic design Computer science
Online dostop:	Click here to view the full text content
Oznake:	Označite Brez oznak, prvi označite!

Podobne knjige/članki

A logical introduction to proof /
od: Cunningham, Daniel W.
Izdano: (2012)

Proofs and algorithms : an introduction to logic and computability /
od: Dowek, Gilles
Izdano: (2011)

Proofs of the cantor-bernstein theorem : a mathematical excursion /
od: Hinkis, Arie
Izdano: (2013)

A transition to mathematics with proofs
od: Cullinane, Michael J.
Izdano: (2013)

A transition to mathematics with proofs
od: Cullinane, Michael J.
Izdano: (2013)

How to read and do proofs : an introduction to mathematical thought processes /
od: Solow, Daniel
Izdano: (2002)

Mathematical problems from applied logic I logics for the XXIst century /
Izdano: (2006)

Foundations of algebraic specification and formal software development /
od: Sannella, Donald
Izdano: (2012)

Logical foundations of computer science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
od: Artemov, Sergei N.
Izdano: (2007)

Introduction to mathematical structures and proofs /
od: Gerstein, Larry J.
Izdano: (2012)

Logic design theory /
od: Biswas, Nripendra Nath
Izdano: (1993)

Logic design theory /
od: Biswas, Nripendra N.
Izdano: (2006)

Bridge to abstract mathematics : mathematical proof and structures /
od: Morash,Ronald P.
Izdano: (1991)

Penghantar logik /
od: Hamidah Abdulhamid
Izdano: (1991)

A Modern Perspective on Type Theory From its Origins until Today /
od: Kamareddine, Fairouz
Izdano: (2005)

Finite model theory and its applications /
od: Gradel, Erich
Izdano: (2007)

Transition to higher mathematics : structure and proof /
od: Dumas, Bob A.
Izdano: (2007)

A Course in mathematical Logic for mathematicians
od: Manin, Yu. I.
Izdano: (2010)

Around and beyond the square of opposition /
Izdano: (2012)

The arché papers on the mathematics of abstraction /
Izdano: (2008)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Izdano: (2013)

How to read and do proofs : an introduction to mathematical thought processes /
od: Solow, Daniel
Izdano: (2002)

Theorems, corollaries, lemmas and methods of proof /
od: Rossi, Richard J.
Izdano: (2006)

The logic of categorial grammars A deductive account of natural language syntax and semantics /
od: Moot, Richard
Izdano: (2012)

Logic and integer programming
od: Williams, H. Paul
Izdano: (2009)

Handbook of set theory
Izdano: (2010)

Logical foundations of mathematics and computational complexity : a gentle introduction /
od: Pudlak, Pavel
Izdano: (2013)

Logic for computer scientists /
od: Schoning, Uwe
Izdano: (2008)

Johan van Benthem on logic and information dynamics /
Izdano: (2014)

Fuzzy-logic-based programming
od: Chang, Chin-Liang
Izdano: (1997)

Fuzzy-logic-based programming
od: Chang, Chin-Liang
Izdano: (1997)

Propositional and predicate calculus a model of argument
od: Goldrei, Derek
Izdano: (2005)

Understanding computers' intelligence : celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowa /
Izdano: (2010)

Introduction to mathematical logic /
od: Walicki, Michał
Izdano: (2012)

Logic for mathematics and computer science /
od: Burris, Stanley N.
Izdano: (1998)

Logik dan penggunaanya untuk sains komputer /
od: Nguyen, Huu Bong
Izdano: (1987)

Mathematical logic /
od: Shoenfield, Joseph R.
Izdano: (1967)

Mechanical logic in three-dimensional space /
od: Auletta, Gennaro
Izdano: (2014)

Introduction to mathematical logic /
od: Mendelson, Elliott
Izdano: (2010)

Mathematical logic in the 20th century /
Izdano: (2003)