Logic, Language, Information, and Computation

18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Lev D. Beklemishev (Hrsg.), Ruy de Queiroz (Hrsg.)

PDF
ca. 56,26
Amazon iTunes Thalia.de Weltbild.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

Springer Berlin Heidelberg img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Mathematik

Beschreibung

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, etc.

Weitere Titel von diesem Autor
Weitere Titel in dieser Kategorie
Cover Quantum Leaps
Hugh Barker
Cover Polyadic Groups
Wieslaw A. Dudek
Cover Polyadic Groups
Wieslaw A. Dudek

Kundenbewertungen