Nominal Sets

Nominal Sets

Bibliografske podrobnosti
Glavni avtor:	Andrew M. Pitts
Format:	Elektronski eKnjiga
Jezik:	English
Izdano:	Cambridge University Press, 07/05/2013
Izdaja:	1
Serija:	Cambridge Tracts in Theoretical Computer Science
Teme:	Programming Languages and Applied Logic Electronic books
Online dostop:	Full text available on Cambridge University Press Off-campus access

Podobne knjige/članki

Practical Foundations for Programming Languages
od: Robert Harper
Izdano: (2013)

Pearls of Functional Algorithm Design
od: Richard Bird
Izdano: (2013)

Transitions and Trees
od: Hans Hüttel
Izdano: (2012)

Programming with Higher-Order Logic
od: Dale Miller, Gopalan Nadathur
Izdano: (2012)

An Introduction to Category Theory
od: Harold Simmons
Izdano: (2012)

Modeling in Event-B
od: Jean-Raymond Abrial
Izdano: (2013)

Systematic Program Design
od: Yanhong Annie Liu
Izdano: (2013)

Programming in Visual Basic 2010
od: Jim McKeown
Izdano: (2012)

Steps in Scala
od: Christos K. K. Loverdos, Apostolos Syropoulos
Izdano: (2012)

Introduction to Bisimulation and Coinduction
od: Davide Sangiorgi
Izdano: (2012)

Web Data Management
od: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
Izdano: (2012)

Programming logic and design : comprehensive /
od: Farrell, Joyce
Izdano: (2011)

Behavior modification in applied settings /
od: Kazdin, Alan E.
Izdano: (1975)

Fuzzy sets and fuzzy logic : theory and applications /
od: Klir, George J., 1932-
Izdano: (2015)

Natural language understanding /
od: Allen, James, 1950-
Izdano: (1995)

Natural language understanding /
od: Allen, James, 1950-
Izdano: (1995)

The logic of language
od: Seuren, Pieter A. M.

An Introduction to Gödel's Theorems
od: Peter Smith
Izdano: (2013)

Basics of logic /
od: Barker, Stephen Francis
Izdano: (1986)

Our logic for discussion and persuasion /
od: Ha, Byunghak
Izdano: (2000)

Logic Journal of the IGPL

Introduction to logic /
od: Copi, Irving M.
Izdano: (1986)

Logic, language, and meaning /
od: Gamut, L. T. F.
Izdano: (1991)

Digital designing with programmable logic devices /
od: Carter, John W., 1951-
Izdano: (1997)

Native Speakers and Native Users
od: Alan Davies
Izdano: (2013)

Words of the World
od: Sarah Ogilvie
Izdano: (2012)

Writing Essays in English Language and Linguistics
od: Neil Murray
Izdano: (2012)

Applied Linguistics

IMA Journal of Applied Mathematics

Mathematical Medicine and Biology: A Journal of the IMA

Mathematical Medicine and Biology: A Journal of the IMA

The Quarterly Journal of Mechanics and Applied Mathematics

Introducing applied ethics /
Izdano: (1999)

Applied linguistics /
od: Cook, Guy
Izdano: (2003)

Analytic mechanics
od: Chambers, Sherman Daniel, 1881-
Izdano: (1952)

An introduction to applied linguistics /
Izdano: (2002)

Development tasks and education /
od: Havighurst, Robert James
Izdano: (1972)

Applying anthropology : an introductory reader /
Izdano: (1989)

The handbook of applied linguistics /
Izdano: (2006)

Logic and computer design fundamentals /
od: Mano, M. Morris, 1927-
Izdano: (2000)