wyszukanych pozycji: 9
![]() |
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, l'Aquila, Italy, April 7-9, 1999, Proceedings
ISBN: 9783540657637 / Angielski / Miękka / 1999 / 404 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This text constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA'99, held in L'Aquila, Italy in April 1999. The 25 revised full papers presented were reviewed and selected from a total of 50 submissions. Also included are two invited demonstrations. The volume reports research results on various aspects of typed lambda calculi. Among the topics addressed are noncommutative logics, type theory, algebraic data types, logical calculi, abstract data types, and subtyping.
This text constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA'99, held in L'Aquila...
|
cena:
193,19 zł |
![]() |
Immortal Element
ISBN: 9781643505985 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
87,77 zł |
![]() |
Advances in Linear Logic
ISBN: 9780521559614 / Angielski / Miękka / 1995 / 400 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book.
This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry ...
|
cena:
383,84 zł |
![]() |
Linear Logic in Computer Science
ISBN: 9780521608572 / Angielski / Miękka / 2004 / 392 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and...
Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a dual...
|
cena:
498,50 zł |
![]() |
Mit eigenen Worten
ISBN: 9783709203279 / Niemiecki / Miękka / 2021 / 144 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Im Gespräch mit Mathilde Girard verfolgt Jean-Luc Nancy den Faden, den der Mythos zwischen seinem Leben und seinem Denken spinnt. Schnell wird dabei klar: Sobald man angefangen hat, über sich selbst zu sprechen, ist man bereits auf dem Feld des Mythischen.Nancy nähert sich der Frage des Mythos ausgehend vom Biografischen: In der Rückschau auf sein gemeinsames Leben und Schaffen mit Philippe Lacoue-Labarthe lässt sich aufzeigen, was daran seitens des Mythos am Werke gewesen ist. Die biografische Erzählung malt dabei nicht nur ein Porträt der intellektuellen Landschaft des Frankreichs...
Im Gespräch mit Mathilde Girard verfolgt Jean-Luc Nancy den Faden, den der Mythos zwischen seinem Leben und seinem Denken spinnt. Schnell wird dabei ...
|
cena:
92,61 zł |
![]() |
Lulu i Nelson T.2 Królestwo lwów
ISBN: 9788328155329 / Polski / 2022 / 68 str. Termin realizacji zamówienia: ok. 6-8 dni roboczych. Druga część przygodowej opowieści dla dzieci o spełnianiu marzeń, walce o wolność i miłości do zwierząt. Pierwszy tom serii zdobył nagrodę na francuskim Festiwalu Komiksowym w Blois w 2020 roku. W tym samym roku na podstawie komiksu powstał długometrażowy film animowany. Lulu udało się dotrzeć do południowoafrykańskiej krainy lwów, jednak jej ojciec został aresztowany podczas demonstracji przeciwko apartheidowi. Teraz mała Włoszka przebywa na farmie adwokatki Mary, która stara się uwolnić z więzienia tatę małej poszukiwaczki przygód. Równocześnie dziewczynka...
Druga część przygodowej opowieÅ›ci dla dzieci o speÅ‚nianiu marzeÅ„, walce o wolność i miÅ‚oÅ›ci do zwierzÄ…t. Pierwszy tom serii zdobyÅ‚ nagrodÄ...
|
cena:
44,99 zł |
![]() |
Lulu i Nelson T.3 Biała lwica
ISBN: 9788328161061 / Polski / twarda / 2024 / 72 str. Termin realizacji zamówienia: ok. 6-8 dni roboczych. Trzecia i ostatnia część przygodowej opowieści dla dzieci o spełnianiu marzeń, walce o wolność i miłości do zwierząt. Pierwszy tom serii zdobył nagrodę na francuskim Festiwalu Komiksowym w Blois w 2020 roku. W tym samym roku na podstawie komiksu powstał długometrażowy film animowany. Lulu zamieszkała na farmie adwokatki Mary, która broni praw czarnoskórej ludności RPA. Walka z rasistowskim systemem jest bardzo niebezpieczna, o czym już niedługo mają się przekonać mieszkańcy gospodarstwa. Czy jednak mimo zagrożeń uda im się przetrwać i dalej prowadzić...
Trzecia i ostatnia część przygodowej opowieści dla dzieci o spełnianiu marzeń, walce o wolność i miłości do zwierząt. Pierwszy tom serii zd...
|
cena:
44,99 zł |
![]() |
Turkish Cultural Policies in a Global World
ISBN: 9783319636573 / Angielski / Twarda / 2018 / 264 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book provides a multidisciplinary analysis of the production of Turkish cultural policies in the context of globalization and of the circulation of knowledge and practices.
This book provides a multidisciplinary analysis of the production of Turkish cultural policies in the context of globalization and of the circulation ...
|
cena:
540,99 zł |
![]() |
Turkish Cultural Policies in a Global World
ISBN: 9783319876078 / Angielski / Miękka / 2019 / 264 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
386,41 zł |