Cantitate/Preț
Produs
Total produse
Vezi coșul
Handbook of Philosophical Logic: Volume 15 de Dov M. Gabbay

Handbook of Philosophical Logic: Volume 15: Handbook of Philosophical Logic, cartea 15

Editat de Dov M. Gabbay, Franz Guenthner
en Limba Engleză Paperback – 27 ian 2013
Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (19) 39260 lei  43-57 zile
  SPRINGER NETHERLANDS – 14 oct 2011 39260 lei  43-57 zile
  SPRINGER NETHERLANDS – 19 oct 2011 39260 lei  43-57 zile
  SPRINGER NETHERLANDS – 26 sep 2011 41056 lei  38-44 zile
  Springer International Publishing – 19 ian 2019 51568 lei  38-44 zile
  SPRINGER NETHERLANDS – 20 aug 2015 62680 lei  43-57 zile
  SPRINGER NETHERLANDS – 2 noi 2011 78666 lei  43-57 zile
  SPRINGER NETHERLANDS – 15 dec 2010 79496 lei  38-44 zile
  SPRINGER NETHERLANDS – 9 dec 2010 92864 lei  43-57 zile
  SPRINGER NETHERLANDS – 23 aug 2012 92864 lei  43-57 zile
  SPRINGER NETHERLANDS – 21 oct 2012 92895 lei  43-57 zile
  SPRINGER NETHERLANDS – 22 sep 2011 92907 lei  43-57 zile
  SPRINGER NETHERLANDS – 9 dec 2010 92939 lei  43-57 zile
  SPRINGER NETHERLANDS – 22 sep 2011 93030 lei  43-57 zile
  SPRINGER NETHERLANDS – 27 ian 2013 93096 lei  43-57 zile
  SPRINGER NETHERLANDS – 4 dec 2010 93126 lei  43-57 zile
  SPRINGER NETHERLANDS – 14 mar 2012 93232 lei  43-57 zile
  SPRINGER NETHERLANDS – 25 dec 2010 104043 lei  38-44 zile
  SPRINGER NETHERLANDS – 22 sep 2011 109131 lei  43-57 zile
  SPRINGER NETHERLANDS – 25 noi 2010 119503 lei  43-57 zile
Hardback (15) 63306 lei  43-57 zile
  SPRINGER NETHERLANDS – 15 aug 2013 63306 lei  43-57 zile
  Springer International Publishing – 8 noi 2018 70164 lei  38-44 zile
  SPRINGER NETHERLANDS – 31 aug 2002 93512 lei  43-57 zile
  SPRINGER NETHERLANDS – 31 oct 2003 93541 lei  43-57 zile
  SPRINGER NETHERLANDS – 31 ian 2002 93541 lei  43-57 zile
  SPRINGER NETHERLANDS – 30 noi 2002 93558 lei  43-57 zile
  SPRINGER NETHERLANDS – 31 mai 2002 93558 lei  43-57 zile
  SPRINGER NETHERLANDS – 31 dec 2001 93590 lei  43-57 zile
  SPRINGER NETHERLANDS – 30 iun 2001 93695 lei  43-57 zile
  SPRINGER NETHERLANDS – 8 dec 2010 93695 lei  43-57 zile
  SPRINGER NETHERLANDS – 31 aug 2001 93760 lei  43-57 zile
  SPRINGER NETHERLANDS – 31 iul 2001 93804 lei  43-57 zile
  SPRINGER NETHERLANDS – 31 mai 2002 109826 lei  43-57 zile
  SPRINGER NETHERLANDS – 31 mar 2004 120093 lei  43-57 zile
  SPRINGER NETHERLANDS – 14 sep 2007 120202 lei  43-57 zile

Din seria Handbook of Philosophical Logic

Preț: 93096 lei

Preț vechi: 113531 lei
-18% Nou

Puncte Express: 1396
Preț estimativ în valută:
17817€ • 18507$ • 14799£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
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

Public țintă

Research

Cuprins

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

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.