.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Logic from Computer Science
Yiannis N. . Ed(S): Moschovakis
€ 130.88
FREE Delivery in Ireland
Description for Logic from Computer Science
Paperback. Editor(s): Moschovakis, Yiannis N. Series: Mathematical Sciences Research Institute Publications. Num Pages: 608 pages, biography. BIC Classification: PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 930.
The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, ... Read more
The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag New York Inc. United States
Number of pages
608
Condition
New
Series
Mathematical Sciences Research Institute Publications
Number of Pages
608
Place of Publication
New York, NY, United States
ISBN
9781461276852
SKU
V9781461276852
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Logic from Computer Science