wyszukanych pozycji: 5
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
ISBN: 9783319235332 / Angielski / Miękka / 2015 / 319 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the24th EACSL Annual...
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of log...
|
|
cena:
195,87 zł |
Logic, Language, Information, and Computation: 18th International Workshop, Wollic 2011, Philadelphia, Pa, Usa, May 18-20, Proceedings
ISBN: 9783642209192 / Angielski / Miękka / 2011 / 311 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, and more.
This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelph...
|
|
cena:
195,87 zł |
Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, Csr 2015, Listvyanka, Russia, July 13-17, 2015,
ISBN: 9783319202969 / Angielski / Miękka / 2015 / 443 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015. The 25 full papers presented in this volume were carefully reviewed and selected from 61 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical computer science and its applications. This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July... |
|
cena:
195,87 zł |
Advances in Modal Logic Volume 8
ISBN: 9781848900134 / Angielski / Miękka / 2010 / 518 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Advances in Modal Logic is a unique international forum representing the latest results and new directions of research in Modal Logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. This volume contains invited and contributed papers from the eighth conference in the AiML series, held in Moscow, Russia, in August 2010. It reports on substantial advances, both in the foundations of modal logic and in a number of application areas....
Advances in Modal Logic is a unique international forum representing the latest results and new directions of research in Modal Logic broadly conceive...
|
|
cena:
142,88 zł |
Advances in Modal Logic Volume 11
ISBN: 9781848902015 / Angielski / Miękka / 2016 / 584 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Logic deals with the fundamental notions oftruth and falsity. Modal logic arose from the philosophical study of "modes of truth" with the two most common modes being "necessarily true" and "possibly true." Research in modal logic now spans the spectrum from philosophy, computer science and mathematics using techniques from relational structures, universal algebra, topology, and proof theory. These proceedings record the papers presented at the 2016 conference on Advances in Modal Logic, a biennial conference series with an aim to report on important new developments in pure and applied modal...
Logic deals with the fundamental notions oftruth and falsity. Modal logic arose from the philosophical study of "modes of truth" with the two most com...
|
|
cena:
128,59 zł |