Fuzzy logic and mathematics : a historical perspective

Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy
Autor: Peregrin, Jaroslav, 1957-
Vydáno: (2004)

Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls
Autor: Hermes, Hans, 1912-2003
Vydáno: (1937)

Několik cest k minimalizaci výrokových forem = Several Ways to the Minimization of Propositional Forms
Autor: Šolcová, Alena, 1950-

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

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 : 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 : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
Vydáno: (2005)

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 : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999. Proceedings
Vydáno: (1999)

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)

Fuzzy logic with engineering applications
Autor: Ross, Timothy J.
Vydáno: (2004)

Lambda-isčislenije : jego sintaksis i semantika
Autor: Barendregt, Hendrik Pieter, 1947-
Vydáno: (1985)

Fuzzy logic and applications : 5th international workshop, WILF 2003, Naples, Italy, October 9-11, 2003 : revised selected papers
Vydáno: (2006)

Fifty years of fuzzy logic and its applications
Vydáno: (2015)

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)

Fuzzy-Theorie oder Die Fantazination des Vagen : Grundlagen einer präzisen Theorie des Unpräzisen für Mathematiker, Informatiker und Ingenieure
Autor: Demant, Bernd
Vydáno: (1993)

Fuzzy-Logik : Einführung in die algebraischen und logischen Grundlagen
Autor: Böhme, Gert
Vydáno: (1993)

From fuzzy logic to fuzzy mathematics : disertační práce
Autor: Cintula, Petr, 1978-
Vydáno: (2004)

Applications of fuzzy sets theory : 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007 : proceedings
Vydáno: (2007)

Fuzzy sets and fuzzy logic : the foundations of application : from a mathematical point of view
Autor: Gottwald, Siegfried, 1943-2015
Vydáno: (1993)

Application of a probabilistic neural network for liquefaction assesment
Autor: Xue, Xinhua

Základy fuzzy logiky pro řízení a modelování
Autor: Jura, Pavel, 1948-
Vydáno: (2003)

Switching theory : insight through predicate logic
Autor: Vingron, Shimon Peter, 1936-
Vydáno: (2004)

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

Přehledný kalkul uzavřených regulačních obvodů
Autor: Klán, Petr, 1957-

Přehledný kalkul tříparametrových modelů
Autor: Klán, Petr, 1957-

Mathematical and metamathematical properties of fuzzy logic : Ph.D. thesis
Autor: Haniková, Zuzana
Vydáno: (2003)

Mathematical and metamathematical properties of fuzzy logic : abstract of Ph.D. thesis
Autor: Haniková, Zuzana
Vydáno: (2003)

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

Forcing with random variables and proof complexity
Autor: Krajíček, Jan, 1960-
Vydáno: (2011)

Reliable vehicular consumption prediction based on machine learning

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

Weak pigeonhole principle, and randomized computation : Ph.D. thesis
Autor: Jeřábek, Emil, 1977-
Vydáno: (2005)

Weak pigeonhole principle, and randomized computation : summary of Ph.D. thesis
Autor: Jeřábek, Emil, 1977-
Vydáno: (2005)