hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Typisierter Lambda-Kalkül
10 Treffer
Seite < 1 >
Cover

Weber, Karl Matthias: A meta-calculus for formal system development

/ Matthias Weber. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1991. - 197 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 195)

ISBN 978-3-486-21994-4 / 3-486-21994-4 kart. : DM 52.00

Quelle: DNB

Cover

Bittel, Oliver: Ein tableaubasierter Theorembeweiser für die intuitionistische Logik

/ Oliver Bittel. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1991. - 184 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 198)

ISBN 978-3-486-22143-5 / 3-486-22143-4 kart. : ca. DM 50.00

Literaturverz. S. 179 - 182

Quelle: DNB

Cover

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

Cover

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

Cover

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

Cover

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

Cover

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

Cover

Typed lambda calculi and applications

: 6th international conference ; proceedings / TLCA 2003, Valencia, Spain, June 10 - 12, 2003. Martin Hoffmann (ed.). - Berlin : Springer***5108985, 2003. - VIII, 315 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2701)

ISBN 978-3-540-40332-6 / 3-540-40332-9 kart. : EUR 49.22

Literaturangaben

Quelle: DNB

Cover

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

Cover

Types in compilation

: second international workshop ; proceedings / TIC '98, Kyoto, Japan, March 1998. Xavier Leroy ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1473)

ISBN 978-3-540-68308-7

Lizenzpflichtig

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen