Lecture Notes in Computer Science: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - pocketboek
2016, ISBN: 9783662540688
[ED: Taschenbuch / Paperback], [PU: Springer Springer Berlin Heidelberg Springer, Berlin], AUSFÜHRLICHERE BESCHREIBUNG: This book collects the refereed proceedings of the 7th Indian Confe… Meer...
booklooker.de |
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - pocketboek
2016, ISBN: 3662540681
[EAN: 9783662540688], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; BISIMULATION; COMPUTATIONALCOMPLEXITY; HYBRIDLOGIC; PERPSEMANTICS; STRATE… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - pocketboek
2016, ISBN: 3662540681
[EAN: 9783662540688], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; BISIMULATION; COMPUTATIONALCOMPLEXITY; HYBRIDLOGIC; PERPSEMANTICS; STRATE… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
2017, ISBN: 9783662540688
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... |
2016, ISBN: 9783662540688
7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, Buch, Softcover, 1st ed. 2017, [PU: Springer Berlin], Springer Berlin, 2016
lehmanns.de Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Lecture Notes in Computer Science: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - pocketboek
2016, ISBN: 9783662540688
[ED: Taschenbuch / Paperback], [PU: Springer Springer Berlin Heidelberg Springer, Berlin], AUSFÜHRLICHERE BESCHREIBUNG: This book collects the refereed proceedings of the 7th Indian Confe… Meer...
Sanjiva Prasad:
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - pocketboek2016, ISBN: 3662540681
[EAN: 9783662540688], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; BISIMULATION; COMPUTATIONALCOMPLEXITY; HYBRIDLOGIC; PERPSEMANTICS; STRATE… Meer...
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - pocketboek
2016
ISBN: 3662540681
[EAN: 9783662540688], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; BISIMULATION; COMPUTATIONALCOMPLEXITY; HYBRIDLOGIC; PERPSEMANTICS; STRATE… Meer...
2017, ISBN: 9783662540688
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...
2016, ISBN: 9783662540688
7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, Buch, Softcover, 1st ed. 2017, [PU: Springer Berlin], Springer Berlin, 2016
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Logic and Its Applications
EAN (ISBN-13): 9783662540688
ISBN (ISBN-10): 3662540681
Gebonden uitgave
pocket book
Verschijningsjaar: 2017
Uitgever: Springer Berlin
Boek bevindt zich in het datenbestand sinds 2017-01-15T13:25:40+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-07-13T08:38:22+02:00 (Amsterdam)
ISBN/EAN: 9783662540688
ISBN - alternatieve schrijfwijzen:
3-662-54068-1, 978-3-662-54068-8
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: ghosh, prasad
Titel van het boek: proceedings all india, logic computer science, indian
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-06
Berlin; Heidelberg; DE
Gedrukt / Gemaakt in
Taal: Engels
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 239 p. 28 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; bisimulation; computational complexity; hybrid logic; perp semantics; strategic reasoning; algorithm analysis and problem complexity; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Algorithms; Computer Modelling; Software Engineering; Künstliche Intelligenz; Algorithmen und Datenstrukturen; Computermodellierung und -simulation; Software Engineering; EA
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...