wyszukanych pozycji: 1088
Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings
ISBN: 9783540535904 / Angielski / Miękka / 1991 / 366 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tubingen in December 1989. Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in common. One common thread is a new emphasis on hypothetical reasoning, which is typically inspired by Gentzen-style sequent or natural deduction systems. This is not only of theoretical significance, but also bears upon computational issues. It was...
This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for N...
|
|
cena:
193,19 zł |
Advances in Proof-Theoretic Semantics
ISBN: 9783319367811 / Angielski / Miękka / 2016 / 283 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
193,19 zł |
Advances in Proof-Theoretic Semantics
ISBN: 9783319226859 / Angielski / Twarda / 2015 / 283 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost... This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics ... |
|
cena:
193,19 zł |
Substructural Logics
ISBN: 9780198537779 / Angielski / Twarda / 1994 / 400 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions in order to provide a unified view of the field. This important volume--the first to bring together the disparate strands of work in substructural logics--will be welcomed by student and...
Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguis...
|
|
cena:
718,57 zł |
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
ISBN: 9783540609834 / Angielski / Miękka / 1996 / 322 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.
The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search. This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany...
|
|
cena:
193,19 zł |
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
ISBN: 9783540427520 / Angielski / Miękka / 2001 / 246 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schloss Dagstuhl provides a very convenient and stimulating...
Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. ...
|
|
cena:
193,19 zł |
The Logical Writings of Karl Popper
ISBN: 9783030949280 / Angielski / Miękka / 2022 / 552 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better,...
This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influ...
|
|
cena:
154,54 zł |
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
ISBN: 9781848901698 / Angielski / Miękka / 2015 / 562 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The 14th International Congress of Logic, Methodology and Philosophy of Science was held on July 19 - 26, 2011 in Nancy, the historic capital of Lorraine and the birthplace of Henri Poincare. For the first time in LMPS history, the Nancy congress had a special topic: Logic and Science Facing the New Technologies. These Proceedings include state of the art discussions by leading scholars. Besides plenary talks, they contain many of the invited papers from the four sections: Logic, General Philosophy of Science, Methodological and Philosophical Issues of Particular Sciences, and Methodological...
The 14th International Congress of Logic, Methodology and Philosophy of Science was held on July 19 - 26, 2011 in Nancy, the historic capital of Lorra...
|
|
cena:
136,75 zł |
Reasons First
ISBN: 9780198900641 / Angielski / Miękka / 2023 / 288 str. Termin realizacji zamówienia: ok. 30 dni roboczych. |
|
cena:
102,83 zł |
Cirenya Writings Vol 1
ISBN: 9781981135912 / Angielski / Miękka / 2017 / 42 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
30,90 zł |
Six Million Paper Clips: The Making of a Children's Holocaust Memorial
ISBN: 9781580131766 / Angielski / Miękka / 2005 / 64 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Describes the efforts of middle school students from the rural Tennessee town of Whitwell to create a Holocaust memorial based on a collection of millions of paper clips intended to represent all of the victims exterminated by the Nazis.
Describes the efforts of middle school students from the rural Tennessee town of Whitwell to create a Holocaust memorial based on a collection of mill...
|
|
cena:
42,06 zł |
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
ISBN: 9783540554981 / Angielski / Miękka / 1992 / 376 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains papers presented at the secondinternational workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991.The 12 papers describe and discuss several approaches toextensions of logic programming languages such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions, applications, and programming methodologies.The first workshop in this series was held in T}bingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop...
This volume contains papers presented at the secondinternational workshop on extensions of logic programming, which was held at the Swedish Institute ...
|
|
cena:
193,19 zł |
The Trouble with Forgiveness: A Biblical Perspective
ISBN: 9781662892837 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
51,83 zł |
The Mascots of 1911: The Year God Met the Devil in the World Series
ISBN: 9780595464241 / Angielski / Miękka / 2007 / 168 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. In 1911, Connie Mack and John McGraw-arguably baseball's all-time greatest managers-shaped the game as each pitch was thrown and every base was stolen. And they did it with the help of their quirky mascots and superstitious players. Set in the stadiums, trains, hotels and clubhouses of baseball's formative years, "The Mascots of 1911" is peopled with brilliantly colorful characters. This fictional yet historically accurate story is told through the teams' managers and mascots: Connie Mack and Louis van Zelst of the Philadelphia Athletics, and John McGraw and Charlie Faust of the New York...
In 1911, Connie Mack and John McGraw-arguably baseball's all-time greatest managers-shaped the game as each pitch was thrown and every base was stolen...
|
|
cena:
67,16 zł |
By Faith Alone: The Priority of Faith in the Book of James: The Work of God is to Believe in Jesus
ISBN: 9781539809869 / Angielski / Miękka / 2016 / 38 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. How the Bible shows that works are subsumed under and follow upon belief in Jesus Christ the Son of God. Faith is the priority.
How the Bible shows that works are subsumed under and follow upon belief in Jesus Christ the Son of God. Faith is the priority.
|
|
cena:
24,32 zł |
Yes You Can (And Why You Should)
ISBN: 9781543213492 / Angielski / Miękka / 2017 / 34 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. In this powerful and effective self-help book, the reader will be motivated and inspired to raise his or her self esteem and make the most out of recovery.
In this powerful and effective self-help book, the reader will be motivated and inspired to raise his or her self esteem and make the most out of reco...
|
|
cena:
23,88 zł |
Life by the Hour
ISBN: 9781426911521 / Angielski / Miękka / 2009 / 204 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The key to survival is to take life one hour at a time... then repeat as necessary.
The key to survival is to take life one hour at a time... then repeat as necessary.
|
|
cena:
68,42 zł |
Audiovisual Equipment and Materials II: A Basic Repair and Maintenance Manual
ISBN: 9780810822658 / Angielski / Miękka / 1990 / 141 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book brings together insights into the new and considerably higher-tech levels of audiovisual equipment and materials, and the admittedly limited things non-technicians can and should do to assure delivery of the instructional program. Extensively illustrated with diagrams and photographs, Volume II goes into VCRs, with considerable additional emphasis on cable and distribution systems. A number of preventive maintenance and diagnostic approaches are discussed for classroom computers. Looking toward the future, the authors also treat audio compact discs and videodisc technology.
This book brings together insights into the new and considerably higher-tech levels of audiovisual equipment and materials, and the admittedly limited...
|
|
cena:
471,99 zł |
The Mascots of 1911: The year God met the Devil in the World Series
ISBN: 9780595702114 / Angielski / Twarda / 2007 / 168 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. In 1911, Connie Mack and John McGraw-arguably baseball's all-time greatest managers-shaped the game as each pitch was thrown and every base was stolen. And they did it with the help of their quirky mascots and superstitious players. Set in the stadiums, trains, hotels and clubhouses of baseball's formative years, "The Mascots of 1911" is peopled with brilliantly colorful characters. This fictional yet historically accurate story is told through the teams' managers and mascots: Connie Mack and Louis van Zelst of the Philadelphia Athletics, and John McGraw and Charlie Faust of the New York...
In 1911, Connie Mack and John McGraw-arguably baseball's all-time greatest managers-shaped the game as each pitch was thrown and every base was stolen...
|
|
cena:
109,26 zł |
The Transformation of European Politics 1763-1848
ISBN: 9780198221197 / Angielski / Twarda / 1994 / 920 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This landmark study of European international politics is a worthy complement to A.J.P. Taylor's classic The Struggle for Mastery in Europe 1848-1918. Paul Schroeder's comprehensive and authoritative addition to the Oxford History of Modern Europe charts the course of international history over the turbulent era of 1763-1848 in which the map of Europe and much of the world was redrawn time and again. Schroeder examines the wars, political crises, and intricate diplomatic transactions of the age, many of which, especially the Revolutionary and Napoleonic Wars, and the...
This landmark study of European international politics is a worthy complement to A.J.P. Taylor's classic The Struggle for Mastery in Europe 1848-1...
|
|
cena:
1249,75 zł |