• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

Valeria de Paiva » książki

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2950560]
• Literatura piękna
 [1849509]

  więcej...
• Turystyka
 [71097]
• Informatyka
 [151150]
• Komiksy
 [35848]
• Encyklopedie
 [23178]
• Dziecięca
 [617388]
• Hobby
 [139064]
• AudioBooki
 [1657]
• Literatura faktu
 [228597]
• Muzyka CD
 [383]
• Słowniki
 [2855]
• Inne
 [445295]
• Kalendarze
 [1464]
• Podręczniki
 [167547]
• Poradniki
 [480102]
• Religia
 [510749]
• Czasopisma
 [516]
• Sport
 [61293]
• Sztuka
 [243352]
• CD, DVD, Video
 [3414]
• Technologie
 [219456]
• Zdrowie
 [101002]
• Książkowe Klimaty
 [124]
• Zabawki
 [2311]
• Puzzle, gry
 [3459]
• Literatura w języku ukraińskim
 [254]
• Art. papiernicze i szkolne
 [8079]
Kategorie szczegółowe BISAC

Wyniki wyszukiwania:

wyszukanych pozycji: 4

Dostępność:
Kategoria:
Dostępny język:
Cena:
od:
do:
ilość na stronie:


 Logic, Language, Information, and Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings De Paiva, Valeria 9783662477083
Logic, Language, Information, and Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings

ISBN: 9783662477083 / Angielski / Miękka / 2015 / 201 str.

ISBN: 9783662477083/Angielski/Miękka/2015/201 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.)
Valeria De Paiva; Ruy De Queiroz; Lawrence S. Moss
cena: 160,65

 Advances in Natural Deduction: A Celebration of Dag Prawitz's Work Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva 9789400775473
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work

ISBN: 9789400775473 / Angielski / Twarda / 2014 / 279 str.

ISBN: 9789400775473/Angielski/Twarda/2014/279 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.)
Luiz Carlos Pereira;Edward Haeusler;Valeria de Paiva

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science.

The range of contributions includes material on the extension of natural deduction with higher-order rules, as opposed...

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented a...

cena: 522,07

 Journal of Applied Logics, Volume 8, Number 8, September 2021. Special issue: Intuitionistic Modal Logic and Applications Valeria De Paiva, Sergei Artemov 9781848903777
Journal of Applied Logics, Volume 8, Number 8, September 2021. Special issue: Intuitionistic Modal Logic and Applications

ISBN: 9781848903777 / Angielski / Miękka / 2021 / 112 str.

ISBN: 9781848903777/Angielski/Miękka/2021/112 str.

Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.)
Valeria De Paiva;Sergei Artemov
cena: 72,37

 Inheritance, Defaults and the Lexicon Ted Briscoe Ann Copestake Valeria de Paiva 9780521028059
Inheritance, Defaults and the Lexicon

ISBN: 9780521028059 / Angielski / Miękka / 2006 / 308 str.

ISBN: 9780521028059/Angielski/Miękka/2006/308 str.

Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.)
Ted Briscoe; Ann Copestake; Valeria de Paiva
Inheritance has been used in AI knowledge representation for many years. Until recently, however, it had not been much exploited in linguistic representation. This collection describes how the lexicon may be structured using inheritance. The papers are mostly formal in orientation, mainly concentrating on unification-based systems (which nowadays form the basis for most theoretically motivated work on NLP, and for current linguistic theories such as HPSG) and discuss syntax and morphology as well as lexical semantics. The formalization of default inheritance, in particular, is discussed in...
Inheritance has been used in AI knowledge representation for many years. Until recently, however, it had not been much exploited in linguistic represe...
cena: 226,12


Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2025 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia