Handbook of Philosophical Logic: Volume 15: Handbook of Philosophical Logic, cartea 15
Editat de Dov M. Gabbay, Franz Guenthneren Limba Engleză Paperback – 27 ian 2013
Preț: 922.94 lei
Preț vechi: 1125.54 lei
-18% Nou
Puncte Express: 1384
Preț estimativ în valută:
176.62€ • 185.77$ • 147.13£
176.62€ • 185.77$ • 147.13£
Carte tipărită la comandă
Livrare economică 03-17 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789400734517
ISBN-10: 9400734514
Pagini: 416
Ilustrații: XIV, 402 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.58 kg
Ediția:Softcover reprint of hardcover 2nd ed. 2011
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Handbook of Philosophical Logic
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9400734514
Pagini: 416
Ilustrații: XIV, 402 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.58 kg
Ediția:Softcover reprint of hardcover 2nd ed. 2011
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Handbook of Philosophical Logic
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
Editorial Preface.- Dov M. Gabbay.- Lambda Calculi: A Guide.- Chris Hankin.- Interpolation and Definability .- Dov Gabbay and Larisa L. Maksimova.- Discourse Representation Theory .- Hans Kamp, Josef van Genabith and Uwe Reyle.- Index.
Textul de pe ultima copertă
Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
Caracteristici
Lambda Calculi: A Guide Interpolation and Definability Comprehensive coverage Discourse Representation Theory comprehensive coverage Focuses on selected topics
Recenzii
"The best starting point for exploring any of the topics in logic"
Encyclopaedia Britannica
Encyclopaedia Britannica
Notă biografică
DOV M. GABBAY FRSC FAvH FRSA FBCS, Augustus De Morgan Professor of Logic (Emeritus), King's College London and Visiting Professor, University of Luxembourg. Dov Gabbay is one of the world’s most active and influential researchers in logic. He has been active in the logic landscape for over 50 years. He authored / co-authored over five hundred and fifty research papers and over thirty research monographs.He has initiated several new and active research areas. He is editor of several international Journals, and over 50 Handbooks of Logic. Gabbay is Chairman and founder of several international conferences, Executive of the European Foundation of Logic Language and Information and President of the International IGPL Logic Group .Founder, Executive and Vice President of the International Federation of Computational Logic, (UK Charity, Number 1112512 ). He is one of the four founders and council member for many years of FoLLI, the Association of Logic, Language and Information. Now retired and a Life Member.
Franz Guenthner is a professor of Computational Linguistics at the Centre for Information and Language Processing (CIS) at the Ludwig-Maximilians-Universitaet (LMU) in Munich, Germany. His background is in philosophy and linguistics.Guenthner's research interests include computational linguistics, and has collaborated to the development of a number of online search platforms since 1996: AltaVista, Fast Search and Transfer (now purchased by Microsoft), RealNames, JobaNova, Exorbyte, and All The Web. He was a professor of General and Computational Linguistics at the University of Tübingen (1977–1989) before joining the LMU in 1990. His research interests include all areas of text processingand in particular the transformation of textual corpora in lexical and grammatical representations (i.e. computationally deployable electronic dictionaries and local grammars). He was also instrumental in the design and realization of a number of search engines, in particular of the first large-scale scientific search engine on the web www.scirus.com. His present work concerns the use of linguistic techniques in page and link analysis on the web, especially for the construction of vertical search engines.
Franz Guenthner is a professor of Computational Linguistics at the Centre for Information and Language Processing (CIS) at the Ludwig-Maximilians-Universitaet (LMU) in Munich, Germany. His background is in philosophy and linguistics.Guenthner's research interests include computational linguistics, and has collaborated to the development of a number of online search platforms since 1996: AltaVista, Fast Search and Transfer (now purchased by Microsoft), RealNames, JobaNova, Exorbyte, and All The Web. He was a professor of General and Computational Linguistics at the University of Tübingen (1977–1989) before joining the LMU in 1990. His research interests include all areas of text processingand in particular the transformation of textual corpora in lexical and grammatical representations (i.e. computationally deployable electronic dictionaries and local grammars). He was also instrumental in the design and realization of a number of search engines, in particular of the first large-scale scientific search engine on the web www.scirus.com. His present work concerns the use of linguistic techniques in page and link analysis on the web, especially for the construction of vertical search engines.