topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Logic, Language, Information, and Computation: 23rd International Workshop, Wollic 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
ISBN: 9783662529201 / Angielski / Miękka / 2016 / 447 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Work...
|
cena:
194,97 zł |
 |
Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures
ISBN: 9783540669937 / Angielski / Miękka / 2000 / 139 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This text comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997. The six lectures presented introduce the reader to the state of the art in the area of generalized quantifiers and computation. Besides an introductory survey by the volume editor various aspects of generalized quantifiers are studied in depth.
This text comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, hel...
|
cena:
194,97 zł |
 |
Dependence Logic: A New Approach to Independence Friendly Logic
ISBN: 9780521700153 / Angielski / Miękka / 2007 / 225 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka's independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic semantics, and results about its complexity are proven. This is a...
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependen...
|
cena:
387,92 zł |
 |
Dependence Logic: A New Approach to Independence Friendly Logic
ISBN: 9780521876599 / Angielski / Twarda / 2007 / 236 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka's independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic semantics, and results about its complexity are proven. This is a...
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependen...
|
cena:
617,69 zł |
 |
Logic Colloquium '03 : Lecture Notes in Logic 24
ISBN: 9781568812946 / Angielski / Miękka / 2006 / 417 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Contains the papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic. This book includes tutorials and research articles from some of the world's preeminent logicians. It also covers research topics in almost all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Philosophy.
Contains the papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic. This book includes tutorials and research art...
|
cena:
152,10 zł |
 |
Philosophical Uses of Categoricity Arguments
ISBN: 9781009432924 / Miękka / 2023 / 75 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
90,80 zł |
 |
Philosophical Uses of Categoricity Arguments
ISBN: 9781009467964 / Twarda / 2023 / 75 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
254,78 zł |
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
