2013, ISBN: 9783642360398
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applic… Meer...
Springer.com new in stock. Verzendingskosten:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783642360398
Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Computation by Abstract Devices; Discrete Mathematics… Meer...
Springer.com Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten Details... |
2013, ISBN: 9783642360398
5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings eBooks … Meer...
eBook.de No. 25493731 Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten Details... |
Logic and Its Applications : 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings - nieuw boek
2013, ISBN: 9783642360398
; PDF \ Wilfried B. Kratzig; Scientific, Technical and Medical > Mathematics > Discrete mathematics, Springer Berlin Heidelberg
hive.co.uk No. 9783642360398 Verzendingskosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten, exclusief verzendingskosten Details... |
2013, ISBN: 9783642360398
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applic… Meer...
ISBN: 9783642360398
Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Computation by Abstract Devices; Discrete Mathematics… Meer...
2013
ISBN: 9783642360398
5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings eBooks … Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Logic and Its Applications
EAN (ISBN-13): 9783642360398
Verschijningsjaar: 2013
Uitgever: Springer Science+Business Media
Boek bevindt zich in het datenbestand sinds 2017-04-18T23:03:29+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-05-31T15:23:48+02:00 (Amsterdam)
ISBN/EAN: 9783642360398
ISBN - alternatieve schrijfwijzen:
978-3-642-36039-8
Gegevens van de uitgever
Auteur: Kamal Lodaya
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Logic and Its Applications - 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings
Uitgeverij: Springer; Springer Berlin
259 Bladzijden
Verschijningsjaar: 2012-12-22
Berlin; Heidelberg; DE
Taal: Engels
48,14 € (DE)
49,50 € (AT)
54,50 CHF (CH)
Available
X, 259 p. 18 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; bisimulation; decision theory; epistemic logic; forcing; modal logic; temporal logic; C; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Theory of Computation; Discrete Mathematics in Computer Science; Computer Imaging, Vision, Pattern Recognition and Graphics; Computer Science; Künstliche Intelligenz; Mathematik für Informatiker; Diskrete Mathematik; Bildverarbeitung; BC
The 15 revised full papers presented together with 7 invited talks were carefully reviewed and selected from 35 submissions. The papers cover the topics related to pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence and other disciplines which are of direct interest to mathematical and philosophical logic.Up to date results State of the art research Fast track conference proceedings
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...