Lambda-isčislenije : jego sintaksis i semantika

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Barendregt, Hendrik Pieter, 1947- (Autor)
Médium:	Kniha
Jazyk:	ruština
Vydáno:	Moskva : Mir, 1985
Žánr/forma:	monografie
Témata:	matematická logika logická syntax logická sémantika Lambda kalkul
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

Obálka

Podobné jednotky

Typed lambda calculi and applications : international conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings
Vydáno: (1993)

Typed lambda calculi and applications : third international conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997. Proceedings
Vydáno: (1997)

Typed lambda calculi and applications : second international conference on Typed Lambda Calculi and Applications, TLCA'95, Edinburgh, United Kingdom, April 10-12, 1995. Proceedings
Vydáno: (1995)

Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
Vydáno: (2005)

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001. Proceedings
Vydáno: (2001)

Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings
Vydáno: (2003)

Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 : proceedings
Vydáno: (2007)

Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999. Proceedings
Vydáno: (1999)

Domains and lambda-calculi
Autor: Amadio, Roberto M.
Vydáno: (2008)

Lambda calculus with types
Autor: Barendregt, Henk (Hendrik Pieter), 1947-
Vydáno: (2013)

Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Vydáno: (2005)

Gemeinnütziges, mathematisch-technisches Tabellenwerk : eine möglichst vollständige Sammlung von Hilfstabellen für Rechnungen mit und ohne Logarithmen. Nebst Zeitentsprechenden Maass-, Gewichts- und Geldrechnungs- Tabellen insbesondere für das metrische und englische, österreichische und preussische Maass- und Gewichts-System von Josef Hrabák
Autor: Hrabák, Josef, 1833-1921
Vydáno: (1873)

Sammlung von praktischen Aufgaben über die verschiedenen Rechnungsarten des bürgerlichen Verkehrs : mit einem Anhange, enthaltend 5 Tabellen über Münzen, Maaße und Gewichte der vornehmsten Länder und Städte
Autor: Huberdt, August
Vydáno: (1843)

Logarithmisch-trigonometrische Tafeln mit sechs Decimalstellen : mit besonderer Berücksichtigung für den Schulgebrauch
Autor: Bremiker, Carl, 1804-1877
Vydáno: (1860)

Artificial intelligence for dummies
Autor: Mueller, John, 1958-
Vydáno: (2022)

Programovatelná logická pole
Autor: Líška, Miroslav
Vydáno: (1993)

An introduction to functional programming through Lambda calculus
Autor: Michaelson, Greg, 1953-
Vydáno: (2011)

Logika pro všechny ochotné myslet
Autor: Sochor, Antonín, 1942-2008
Vydáno: (2011)

Fault-tolerant FPGA-based systems : doctoral thesis
Autor: Elshafey, Khaled Ahmed Mohamed, 1968-
Vydáno: (2002)

Tabula ad commode computandos logarithmos vulgares duodecim notis instructos et numeros iis respondentes
Autor: Sedlaczek, Ernest
Vydáno: (1875)

Fuzzy logic and mathematics : a historical perspective
Autor: Bělohlávek, Radim, 1971-
Vydáno: (2017)

Lectures on the Curry-Howard isomorphism
Autor: Sørensen, Morten Heine B. (Morten Heine Bjørnlund), 1968-
Vydáno: (2006)

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings
Vydáno: (2014)

A beginner's guide to mathematical logic
Autor: Smullyan, Raymond M., 1919-2017
Vydáno: (2014)

Logarithmen der Zahlen und der trigonometrischen Functionen und Antilogarithmen : mit einer Sammlung von Tabellen und Formeln für wissenschaftliche, technische und Schulzwecke
Autor: Lukas, Franz Carl
Vydáno: (1860)

Vierstellige Logarithmen der natürlichen Zahlen und Winkelfunctionen nebst den Additions- und Subtractions-Logarithmen
Autor: Müller, Johann Heinrich Traugott, 1797-1862
Vydáno: (1861)

A beginner's further guide to mathematical logic
Autor: Smullyan, Raymond M., 1919-2017
Vydáno: (2017)

Functional programming in Java : harnessing the power of Java 8 Lambda expressions
Autor: Subramaniam, Venkat
Vydáno: (2014)

Timing-driven physical design for field-programmable gate arrays : thesis
Autor: Daněk, Martin, 1973-
Vydáno: (2004)

Fuzzy logic deduction in the frame of fuzzy logic in broader sense PhD thesis = Fuzzy logická dedukce v rámci fuzzy logiky v širším smyslu
Autor: Dvořák, Antonín, 1970-
Vydáno: (2003)

Logic, language, information and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings
Vydáno: (2007)

Modal logic with descriptions
Autor: Ruzsa, Imre, 1921-2008
Vydáno: (1981)

Mechanical logic in three-dimensional space
Autor: Auletta, Gennaro, 1957-
Vydáno: (2014)

Issledovanija po konstruktivnoj matematike i matematičeskoj logike.
Vydáno: (1995)

Rechteck-Steckverbinder für die Automatisierungstechnik = Rectangular connectors for automation technique = Connecteurs rectangles pour l´automation
Vydáno: (2001)

Framatome Connectors International. Product overview
Vydáno: (2000)

Invariance and structural dependence
Autor: Odelstad, Jan, 1947-
Vydáno: (1992)

Advanced FPGA design architecture, implementation, and optimization
Autor: Kilts, Steve, 1978-
Vydáno: (2006)

Mathematical principles of fuzzy logic
Autor: Novák, Vilém, 1951-
Vydáno: (1999)

Degrees of unsolvability : structure and theory
Autor: Epstein, Richard L., 1947-
Vydáno: (1979)