topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 8
 |
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. 16-18 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:
204,08 |
 |
Advances in Linear Logic
ISBN: 9780521559614 / Angielski / Miękka / 1995 / 400 str. Termin realizacji zamówienia: ok. 16-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:
342,45 |
 |
Procedure Sur Laquelle Le Pere Jean Baptiste Girard, Jesuite, Catherine Cadiere, Le Pere Estienne Thomas Cadiere Dominicain, Mre. Francois Cadiere Pretre. Et Le Pere Nicolas de S.Joseph Carme Dechaufs
ISBN: 9781274888815 / Angielski / Miękka / 2012 / 460 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
162,07 |
 |
Linear Logic in Computer Science
ISBN: 9780521608572 / Angielski / Miękka / 2004 / 392 str. Termin realizacji zamówienia: ok. 16-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:
432,40 |
 |
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 |
 |
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 |
 |
Turkish Cultural Policies in a Global World
ISBN: 9783319636573 / Angielski / Twarda / 2018 / 264 str. Termin realizacji zamówienia: ok. 16-18 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:
571,49 |
 |
Turkish Cultural Policies in a Global World
ISBN: 9783319876078 / Angielski / Miękka / 2019 / 264 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
408,20 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
