2009, ISBN: 9783540927013
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceeding… Meer...
Springer.com new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
2009, ISBN: 9783540927013
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceeding… Meer...
Springer.com Nr. 978-3-540-92701-3. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9783540927013
Computer Science; Artificial Intelligence (incl. Robotics); Programming Techniques; Programming Languages, Compilers, Interpreters; Theory of Computation; Algorithm Analysis and Problem C… Meer...
Springer.com Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
ISBN: 9783540927013
Computer Science; Artificial Intelligence; Programming Techniques; Programming Languages, Compilers, Interpreters; Theory of Computation; Algorithm Analysis and Problem Complexity; Mathem… Meer...
Springer.com Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
2008, ISBN: 9783540927013
Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin], Springer Berlin, 2008
lehmanns.de Verzendingskosten:Download sofort lieferbar. (EUR 0.00) Details... |
2009, ISBN: 9783540927013
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceeding… Meer...
2009, ISBN: 9783540927013
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceeding… Meer...
ISBN: 9783540927013
Computer Science; Artificial Intelligence (incl. Robotics); Programming Techniques; Programming Languages, Compilers, Interpreters; Theory of Computation; Algorithm Analysis and Problem C… Meer...
ISBN: 9783540927013
Computer Science; Artificial Intelligence; Programming Techniques; Programming Languages, Compilers, Interpreters; Theory of Computation; Algorithm Analysis and Problem Complexity; Mathem… Meer...
2008, ISBN: 9783540927013
Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin], Springer Berlin, 2008
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Logic and Its Applications
EAN (ISBN-13): 9783540927013
ISBN (ISBN-10): 3540927018
Verschijningsjaar: 2008
Uitgever: Springer Berlin
10 Bladzijden
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-06-01T04:06:35+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-08-11T16:38:05+02:00 (Amsterdam)
ISBN/EAN: 9783540927013
ISBN - alternatieve schrijfwijzen:
3-540-92701-8, 978-3-540-92701-3
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: ramanujam, sarukkai
Gegevens van de uitgever
Auteur: R. Ramanujam; Sundar Sarukkai
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic and Its Applications - Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings
Uitgeverij: Springer; Springer Berlin
269 Bladzijden
Verschijningsjaar: 2009-01-07
Berlin; Heidelberg; DE
Taal: Engels
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 269 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; LA; algorithms; analytic proof theory; artificial intelligence; automata; calculi; combinatorics; complexity theory; computational logic; epistemic uncertainty; game theory; grammars; hybrid language; hybrid logic; logic; algorithm analysis and problem complexity; C; Artificial Intelligence; Programming Techniques; Compilers and Interpreters; Theory of Computation; Algorithms; Formal Languages and Automata Theory; Computer Science; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; Theoretische Informatik; Algorithmen und Datenstrukturen; BC
Decisions, Actions, and Games: A Logical Perspective.- Machine Checking Proof Theory: An Application of Logic to Logic.- Some Second Order Set Theory.- Connection Matrices for MSOL-Definable Structural Invariants.- Knowledge, Games and Tales from the East.- A Para Consistent Fuzzy Logic.- From Philosophical to Industrial Logics.- Game Quantification Patterns.- Extensive Questions.- An Analytic Logic of Aggregation.- Instantial Relevance in Polyadic Inductive Logic.- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic.- A General Setting for the Pointwise Investigation of Determinacy.- A Two-Dimensional Hybrid Logic of Subset Spaces.- A Unified Framework for Certificate and Compilation for QBF.- Towards Decidability of Conjugacy of Pairs and Triples.- Gautama – Ontology Editor Based on Nyaya Logic.- Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming.- The Art of Non-asserting: Dialogue with N?g?rjuna.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...