topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 23
 |
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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
201,72 |
 |
Advances in Proof-Theoretic Semantics
ISBN: 9783319367811 / Angielski / Miękka / 2016 / 283 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
201,72 |
 |
Advances in Proof-Theoretic Semantics
ISBN: 9783319226859 / Angielski / Twarda / 2015 / 283 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
201,72 |
 |
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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
201,72 |
 |
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. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
124,14 |
 |
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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
201,72 |
 |
The Logical Writings of Karl Popper
ISBN: 9783030949280 / Angielski / Miękka / 2022 / 552 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
161,36 |
 |
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. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
38,18 |
 |
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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
201,72 |
 |
Schnelle Beute: Eine Kriminalgeschichte um einen alten Rennwagen
ISBN: 9783754363614 / Niemiecki / Miękka / 2021 / 212 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
83,87 |
 |
Organisationsentwicklung für Ortsverbände von Parteien
ISBN: 9783737533591 / Niemiecki / Miękka / 2015 / 172 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
89,67 |
 |
Hinausgeboren
ISBN: 9783753167121 / Miękka / 188 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Geboren im Krieg. Von der Mutter in ein Säuglingsheim gegeben. Mit vier Jahren zu Pflegeltern , mit elf ins Klosterinternat. Was soll aus so einem Jungen werden? Dieser versuchte sich als Exportkaufmann in Düsseldorf, Soldat bei der Bundeswehr und Buchhalter bei der Lufthansa. Er studierte BWL in Bochum, Publizistik und Psychologie in Berlin.Mit dreißig begann sein emanzipiert schwules Leben. Für eine Liebe übersiedelte er nach Holland, für eine andere kehrte er nach Berlin zurück. Heute, mit 75 Jahren, erzählt der Psychotherapeut pointiert und verdichtet vom Wesentlichen.
Geboren im Krieg. Von der Mutter in ein Säuglingsheim gegeben. Mit vier Jahren zu Pflegeltern , mit elf ins Klosterinternat. Was soll aus so einem J...
|
cena:
44,79 |
 |
Episoden : Erlebnisse am Rande internationaler Politikberatung
ISBN: 9783869314853 / Niemiecki / Miękka / 2010 / 264 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) 35 unterhaltsame Geschichten aus 23 Ländern, die am Rande der Arbeit mit Politikern und Parteien passierten.
35 unterhaltsame Geschichten aus 23 Ländern, die am Rande der Arbeit mit Politikern und Parteien passierten.
|
cena:
76,22 |
 |
The Octogenarian Handbook: Delaying the 5 Ways of Dying
ISBN: 9781954094604 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
94,17 |
 |
The Rock Shall Dance
ISBN: 9781954094086 / Angielski / Twarda / 2021 / 466 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
98,46 |
 |
The Octogenarian Handbook: Delaying The 5 Ways of Dying
ISBN: 9781954094598 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
76,25 |
 |
Ehre, Wem Ehre Gebuhrt!: Ehrenpromotionen an Der Heidelberger Juristischen Fakultat
ISBN: 9783825396398 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
169,48 |
 |
The Rock Shall Dance
ISBN: 9781954094024 / Angielski / Miękka / 2021 / 466 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
80,26 |
 |
Advanced Finite Element Technologies
ISBN: 9783319319230 / Angielski / Twarda / 2016 / 236 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The book presents an overview of the state of research of advanced finite element technologies. The book covers the topics of mathematical foundations for variational approaches and the mathematical understanding of the analytical requirements of modern finite element methods.
The book presents an overview of the state of research of advanced finite element technologies. The book covers the topics of mathematical foundations...
|
cena:
403,47 |
 |
Algorithmic Game Theory: First International Symposium, SAGT 2008, Paderborn, Germany, April 30 - May 2, 2008, Proceedings
ISBN: 9783540793083 / Angielski / Miękka / 2008 / 363 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the First International Symposium on Algorithmic Game Theory, SAGT 2008, held in Paderborn, Germany, in April/May 2008. The 28 revised full papes presented together with 3 invited lectures were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on routing and scheduling, markets, mechanism design, potpourri of games, solution concepts, and cost sharing. This book constitutes the refereed proceedings of the First International Symposium on Algorithmic Game Theory, SAGT 2008, held in Paderborn, Germa... |
cena:
201,72 |
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
