12, ISBN: 9783662540695
This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revi… Meer...
kobo.com E-Book zum download. Verzendingskosten: EUR 0.00 Details... |
2017, ISBN: 9783662540695
This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revi… Meer...
Springer.com new in stock. Verzendingskosten:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783662540695
Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Algorithm Analysis and Problem Complexity; Simulation… Meer...
Springer.com Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten Details... |
ISBN: 9783662540695
Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Algorithm Analysis and Problem Complexity; Simulation… Meer...
Springer.com Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
2016, ISBN: 9783662540695
7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, eBooks, eBook Download (EPUB), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2016
lehmanns.de Verzendingskosten:Download sofort lieferbar. (EUR 0.00) Details... |
12, ISBN: 9783662540695
This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revi… Meer...
2017, ISBN: 9783662540695
This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revi… Meer...
ISBN: 9783662540695
Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Algorithm Analysis and Problem Complexity; Simulation… Meer...
ISBN: 9783662540695
Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Algorithm Analysis and Problem Complexity; Simulation… Meer...
2016, ISBN: 9783662540695
7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, eBooks, eBook Download (EPUB), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2016
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Logic and Its Applications
EAN (ISBN-13): 9783662540695
Verschijningsjaar: 12
Uitgever: Springer Berlin Heidelberg
Boek bevindt zich in het datenbestand sinds 2017-06-04T04:39:37+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-06-10T20:59:30+02:00 (Amsterdam)
ISBN/EAN: 9783662540695
ISBN - alternatieve schrijfwijzen:
978-3-662-54069-5
Gegevens van de uitgever
Auteur: Sujata Ghosh; Sanjiva Prasad
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Uitgeverij: Springer; Springer Berlin
239 Bladzijden
Verschijningsjaar: 2016-12-25
Berlin; Heidelberg; DE
Taal: Engels
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 239 p. 28 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; bisimulation; computational complexity; hybrid logic; perp semantics; strategic reasoning; algorithm analysis and problem complexity; C; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Algorithms; Computer Modelling; Software Engineering; Computer Science; Künstliche Intelligenz; Algorithmen und Datenstrukturen; Computermodellierung und -simulation; Software Engineering; BC
Conversation and Games.- Ramsey Theory on Trees and Applications.- Automata, Logic and Games for the Lambda Calculus.- Semantics and Proof Theory of the Epsilon Calculus.- Neighbourhood Contingency Bisimulation.- The Complexity of Finding Read-Once NAE-Resolution Refutations.- Knowing Values and Public Inspection.- Random Models for Evaluating Efficient Büchi Universality Checking.- A Substructural Epistemic Resource Logic.- Deriving Natural Deduction Rules from Truth Tables.- A Semantic Analysis of Stone and dual Stone Negations with Regularity.- Achieving while maintaining: A logic of knowing how with intermediate constraints.- Peirce’s Sequent Proofs of Distributivity.- On Semantic Gamification.- Ancient Indian Logic and Analogy.- Definability of Recursive Predicates in the Induced Subgraph Order.- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic.Includes supplementary material: sn.pub/extras
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9780130302632 Logic and Its Applications (Prentice Hall International Series in Computer Science) (Burke, E and Foxley, E)
< naar Archief...