Wyniki wyszukiwania:
wyszukanych pozycji: 9
 |
Logical Foundations of Computer Science: International Symposium, Lfcs 2020, Deerfield Beach, Fl, Usa, January 4-7, 2020, Proceedings
ISBN: 9783030367541 / Angielski / Miękka / 2019 / 287 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
191,40 zł |
 |
Logical Foundations of Computer Science: International Symposium, Lfcs 2009, Deerfield Beach, Fl, Usa, January 3-6, 2009, Proceedings
ISBN: 9783540926863 / Angielski / Miękka / 2008 / 469 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The Symposium on Logical Foundations of Computer Science series provides a forum for the fast-growing body of work in the logical foundations of computer science, e.g., those areas of fundamental theoretical logic related to computer science. The LFCS series began with "Logic at Botik," Pereslavl-Zalessky,1989, which was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver). After that, organization passed to Anil Nerode. Currently LFCS is governed by a Steering Committee consisting of Anil Nerode (General Chair), Stephen Cook, Dirk van Dalen, Yuri Matiyasevich, John McCarthy, J....
The Symposium on Logical Foundations of Computer Science series provides a forum for the fast-growing body of work in the logical foundations of compu...
|
cena:
191,40 zł |
 |
Logical Foundations of Computer Science: International Symposium, Lfcs 2022, Deerfield Beach, Fl, Usa, January 10-13, 2022, Proceedings
ISBN: 9783030930998 / Angielski / Miękka / 2021 / 388 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022.
The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and... This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield...
|
cena:
287,12 zł |
 |
Logical Foundations of Computer Science: International Symposium, Lfcs 2016, Deerfield Beach, Fl, Usa, January 4-7, 2016. Proceedings
ISBN: 9783319276823 / Angielski / Miękka / 2015 / 407 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revised full papers were carefully reviewed and selected from 46 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints;... This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfi... |
cena:
191,40 zł |
 |
Logical Foundations of Computer Science: International Symposium, Lfcs 2007, New York, Ny, Usa, June 4-7, 2007, Proceedings
ISBN: 9783540727323 / Angielski / Miękka / 2007 / 532 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science. This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New Yo... |
cena:
191,40 zł |
 |
Logical Foundations of Computer Science: International Symposium, Lfcs 2018, Deerfield Beach, Fl, Usa, January 8-11, 2018, Proceedings
ISBN: 9783319720555 / Angielski / Miękka / 2017 / 369 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. logical foundations of database theory;
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield...
|
cena:
191,40 zł |
 |
Justification Logic: Reasoning with Reasons
ISBN: 9781108424912 / Angielski / Twarda / 2019 / 268 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
551,75 zł |
 |
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
ISBN: 9783642357213 / Angielski / Miękka / 2012 / 415 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem...
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego...
|
cena:
191,40 zł |
 |
Journal of Applied Logics, Volume 8, Number 8, September 2021. Special issue: Intuitionistic Modal Logic and Applications
ISBN: 9781848903777 / Angielski / Miękka / 2021 / 112 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
82,57 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
