Castillo, Oscar: Type-2 fuzzy logic
: theory and applications / Oscar Castillo and Patricia Melin. - Berlin : Springer, 2008. - XIV, 243 S. : Ill., graph. Darst.; 24 cm - (Studies in fuzziness and soft computing; Vol. 223)
ISBN 978-3-540-76283-6 Pp. : EUR 106.95 (freier Pr.), sfr 174.00 (freier Pr.)
Literaturverz. S. 225 - 237
Quelle: DNB Verlagsmeldungen
Typed lambda calculi and applications
: proceedings / Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2 - 4, 1997. Philippe de Groote ; J. Roger Hindley (ed.). - Berlin : Springer, 1997. - VIII, 404 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1210)
ISBN 978-3-540-62688-6 / 3-540-62688-3 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Typed lambda calculi and applications
: 4th international conference ; proceedings / TLCA '99, L'Aquila, Italy, April 1999. Jean-Yves Girard (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1581)
ISBN 978-3-540-48959-7
Lizenzpflichtig
Quelle: DNB
Typed lambda calculi and applications
: 5th international conference ; proceedings / TLCA 2001, Kraków, Poland, May 2 - 5, 2001. S. Abramsky (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2044)
ISBN 978-3-540-45413-7
Lizenzpflichtig
Quelle: DNB
Typed lambda calculi and applications
: 8th international conference ; proceedings / TLCA 2007, Paris, France, June 26 - 28, 2007. Simona Ronchi Della Rocca (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4583)
ISBN 978-3-540-73228-0
Lizenzpflichtig
Quelle: DNB
Typed lambda calculi and applications
: proceedings / Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Mariangiola Dezani-Ciancaglini ; Gordon Plotkin (ed.). - Berlin : Springer, 1995. - VIII, 442 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 902)
ISBN 978-3-540-59048-4 / 3-540-59048-X kart. : DM 86.00
Literaturangaben
Quelle: DNB
Typed lambda calculi and applications
: proceedings / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16 - 18, 1993, Utrecht, The Netherlands. M. Bezem ; J. F. Groote (ed.). - Berlin : Springer, 1993. - VIII, 432 S.; 24 cm - (Lecture notes in computer science; Vol. 664)
ISBN 978-3-540-56517-8 / 3-540-56517-5 kart. : DM 80.00
Literaturangaben
Quelle: DNB
Types for proofs and programs
: international workshop ; types '99, Lökeberg, Sweden, June 12 - 16, 1999 ; selected papers / Thierry Coquand ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1956)
ISBN 978-3-540-44557-9
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers / P. Callaghan ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2277)
ISBN 978-3-540-45842-5
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop ; types '98, Kloster Irsee, Germany, March 1998 ; selected papers / T. Altenkirch ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1657)
ISBN 978-3-540-48167-6
Lizenzpflichtig
Quelle: DNB
