Zdjęcie 1 z 1
Prolog: Następne 50 lat Davida S. Warrena książka kieszonkowa–
Stan:
Dostępne: 7
Wysyłka:
Znajduje się w: Fairfield, Ohio, Stany Zjednoczone
Dostawa:
Szacowana między So, 18 maj a Cz, 30 maj do 43230
Zwroty:
Zwrot w ciągu 30 dni. Za wysyłkę zwrotną płaci kupujący. Zobacz szczegóły- aby uzyskać więcej informacji dotyczących zwrotów
Płatności:
Kupuj bez obaw
Informacje o sprzedawcy
- 98,2% opinii pozytywnych
Zarejestrowany jako sprzedawca-firma
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 364351350863
Ostatnia aktualizacja: 03-04-2024 12:07:03 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Parametry przedmiotu
- Stan
- ISBN-13
- 9783031352539
- Book Title
- Prolog: The Next 50 Years
- ISBN
- 9783031352539
- Publication Year
- 2023
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- Prolog : the Next 50 Years
- Item Length
- 9.3in
- Publisher
- Springer
- Item Width
- 6.1in
- Item Weight
- 22.2 Oz
- Number of Pages
- Xvi, 394 Pages
O tym produkcie
Product Information
This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer's team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and programmers in this field over decades, and the book represents an excellent overview of the field, its successes, and its future. After a first chapter that gently introduces the Prolog programming language using examples, the next 7 papers discuss general views of the language, possible extensions for the future, and how Prolog can generally be used to solve problems; the next 5 papers explore ideas and experiences of teaching Prolog programming and then 2 papers discuss technology that has been developed for help in that teaching; the next 3 papers describe new languages based on Prolog which show future directions for logic programming; the next 5 chapters explain the applications that were the finalists for the 2022 Alain Colmerauer Prize; and the final 8 papers describe applications developed using the Prolog language, demonstrating the language's range.
Product Identifiers
Publisher
Springer
ISBN-10
303135253x
ISBN-13
9783031352539
eBay Product ID (ePID)
11060613233
Product Key Features
Publication Name
Prolog : the Next 50 Years
Format
Trade Paperback
Language
English
Publication Year
2023
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
Xvi, 394 Pages
Dimensions
Item Length
9.3in
Item Width
6.1in
Item Weight
22.2 Oz
Additional Product Features
Series Volume Number
13900
Number of Volumes
1 Vol.
Lc Classification Number
Q334-342
Table of Content
Background .- Introduction to Prolog .- About Prolog, present and future .- Types, modes and so much more - the Prolog way .- Manuel Carro Prolog as a Knowledge Representation Language .- Prolog: Past, Present, and Future .- Writing Correct Prolog Programs .- Demonstrating Multiple Prolog Programming Techniques through a Single Operation .- Logical Semantics for Prolog .- The Janus System: A Bridge to New Prolog Applications .- Teaching Prolog .- Some Thoughts on How to Teach Prolog .- Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit .- Logic Programming at Elementary School: Why, what and how should we teach Logic Programming to children .- Prolog Education in Selected High Schools in Bulgaria .- Introducing Prolog in Language-Informed Ways .- Tools for teaching Prolog .- Teaching Prolog with Active Logic Documents .- S imply Logical - The First Three Decades .- Prolog-based languages and systems Dynamic Logic Programming .- Combining Prolog and Imperative Computing in LPS .- Quintero Ergo: A Quest for Declarativity in Logic Programming .- Prolog applications: finalists for the Colmerauer prize ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life .- Pacioli: a PROLOG system for financial report validation .- Logic Model Processing .- Symbium: Using logic programming to streamline citizen-to-government interactions .- PROLEG: Practical Legal Reasoning System .- Contributed Prolog applications .- Logical English for Law and Education .- Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives .- Prolog meets Biology .- Prolog in Automated Reasoning in Geometry .- Logic-based Explainable and Incremental Machine Learning .- Reflections on Automation, Learnability and Expressiveness in Logic-based Programming Languages .- Prolog for Scientific Explanation .- Machines as Thought Partners: Reflections on 50 Years of Prolog .
Copyright Date
2023
Topic
Computer Science, Intelligence (Ai) & Semantics, General
Dewey Decimal
005.133
Dewey Edition
23
Illustrated
Yes
Genre
Computers, Mathematics
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Oświadczam, że wszystkie moje działania związane ze sprzedażą będą zgodne z wszystkimi przepisami i regulacjami UE.
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 364351350863
Ostatnia aktualizacja: 03-04-2024 12:07:03 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Wysyłka i obsługa
Lokalizacja przedmiotu:
Fairfield, Ohio, Stany Zjednoczone
Wysyłka do:
Afganistan, Albania, Algieria, Andora, Angola, Anguilla, Antigua i Barbuda, Antyle Holenderskie, Arabia Saudyjska, Argentyna, Armenia, Aruba, Australia, Austria, Azerbejdżan, Bahamy, Bahrajn, Bangladesz, Belgia, Belize, Benin, Bermudy, Bhutan, Boliwia, Botswana, Bośnia i Hercegowina, Brazylia, Brunei, Brytyjskie Wyspy Dziewicze, Burkina Faso, Burundi, Bułgaria, Cały świat, Chile, Chiny, Chorwacja, Cypr, Czad, Czarnogóra, Czechy, Dania, Demokratyczna Republika Konga, Dominika, Dominikana, Dżibuti, Egipt, Ekwador, Erytrea, Estonia, Eswatini, Etiopia, Falklandy (Malwiny), Fidżi, Filipiny, Finlandia, Francja, Gabon, Gambia, Ghana, Gibraltar, Grecja, Grenada, Grenlandia, Gruzja, Guernsey, Gujana, Gwatemala, Gwinea, Gwinea Bissau, Gwinea Równikowa, Haiti, Hiszpania, Holandia, Honduras, Hongkong, Indie, Indonezja, Irak, Irlandia, Islandia, Izrael, Jamajka, Japonia, Jemen, Jersey, Jordania, Kajmany, Kambodża, Kamerun, Kanada, Katar, Kazachstan, Kenia, Kirgistan, Kiribati, Kolumbia, Komory, Kongo, Korea Południowa, Kostaryka, Kuwejt, Laos, Lesotho, Liban, Liberia, Liechtenstein, Litwa, Luksemburg, Macedonia Północna, Madagaskar, Majotta, Makau, Malawi, Malediwy, Malezja, Mali, Malta, Maroko, Mauretania, Mauritius, Meksyk, Monako, Mongolia, Montserrat, Mozambik, Mołdawia, Namibia, Nauru, Nepal, Niemcy, Niger, Nigeria, Nikaragua, Niue, Norwegia, Nowa Zelandia, Oman, Pakistan, Paragwaj, Peru, Polska, Portugalia, Południowa Afryka, Republika Zielonego Przylądka, Republika Środkowoafrykańska, Rumunia, Rwanda, Sahara Zachodnia, Saint Kitts i Nevis, Saint Lucia, Saint Pierre i Miquelon, Saint Vincent i Grenadyny, Salwador, San Marino, Senegal, Serbia, Seszele, Sierra Leone, Singapur, Somalia, Sri Lanka, Surinam, Svalbard i Jan Mayen, Szwajcaria, Szwecja, Słowacja, Słowenia, Tadżykistan, Tajlandia, Tajwan, Tanzania, Togo, Tonga, Trynidad i Tobago, Tunezja, Turcja, Turkmenistan, Turks i Caicos, Tuvalu, Uganda, Urugwaj, Uzbekistan, Vanuatu, Wallis i Futuna, Watykan, Wielka Brytania, Wietnam, Wybrzeże Kości Słoniowej, Wyspy Cooka, Wyspy Salomona, Węgry, Włochy, Zambia, Zimbabwe, Zjednoczone Emiraty Arabskie, Łotwa, Święta Helena
Wykluczenia:
APO/FPO, Alaska/Hawaje, Barbados, Białoruś, Gujana Francuska, Gwadelupa, Libia, Martynika, Nowa Kaledonia, Panama, Papua-Nowa Gwinea, Polinezja Francuska, Protektoraty USA, Reunion, Rosja, Samoa Zachodnie, Ukraina, Wenezuela
Wysyłka i obsługa | Każdy dodatkowy przedmiot | Do | Usługa | Dostawa*Zobacz uwagi o dostawie |
---|---|---|---|---|
Bezpłatna wysyłka | Bezpłatnie | Stany Zjednoczone | Economy Shipping | Szacowana między So, 18 maj a Cz, 30 maj do 43230 |
Czas na wysłanie |
---|
Zwykle wysyłam przesyłkę w ciągu 10 dni roboczych po otrzymaniu rozliczonej płatności. |
Podatki |
---|
Podczas realizacji transakcji mogą zostać naliczone podatki. Dowiedz się więcejDowiedz się więcej o płaceniu podatku za zakupy na eBay. |
Podatek od sprzedaży dla przedmiotu nr 364351350863
Podatek od sprzedaży dla przedmiotu nr 364351350863
Sprzedawca nalicza podatek od sprzedaży dla przedmiotów wysyłanych do następujących stanów:
Stan | Stawka podatku od sprzedaży |
---|
Warunki zwrotów
Po otrzymaniu przedmiotu skontaktuj się ze sprzedawcą w ciągu | Zwrot pieniędzy zostanie dokonany jako | Wysyłka zwrotna |
---|---|---|
30 dni | Zwrot gotówki | Za wysyłkę zwrotną płaci kupujący |
Kupujący jest odpowiedzialny za opłacenie kosztów wysyłki zwrotnej.
Szczegóły warunków zwrotów |
---|
Zwroty są przyjmowane |
Szczegóły dotyczące płatności
Formy płatności
Popularne kategorie z tego Sklepu
Zarejestrowany jako sprzedawca-firma
Opinie sprzedawców (1 021 911)
d***l (466)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Great product. Fast shipping thanks again
7***o (45)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Exactly as pictured, thank you
l***r (4835)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Perfect! Thanks so much! A+++++