Vor Ort
Merkzettel Warenkorb
Produktbild: Languages: From Formal to Natural
Band 5533

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.05.2009

Abbildungen

X, 245 p.

Herausgeber

Orna Grumberg + weitere

Verlag

Springer Berlin

Seitenzahl

245

Maße (B/H)

15,5/23,5 cm

Gewicht

394 g

Sprache

Englisch

ISBN

978-3-642-01747-6

Beschreibung

Rezension

From the reviews:
“It includes a wide variety of papers on linguistics and the foundations of verification, written by top people in the field. This review only discusses the most interesting contributions. … On the linguistic side, I enjoyed reading Winter, Lavie, and MacWhinney’s paper, ’Formal grammars of early language,’ for its experimental approach to the development of grammar in child language development. … libraries should look to acquire this text for their collections.” (K. Lodaya, ACM Computing Reviews, March, 2010)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.05.2009

Abbildungen

X, 245 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

245

Maße (B/H)

15,5/23,5 cm

Gewicht

394 g

Sprache

Englisch

ISBN

978-3-642-01747-6

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Languages: From Formal to Natural
  • Languages: From Formal to Natural.- Modular Verification of Recursive Programs.- Semi-formal Evaluation of Conversational Characters.- Scope Dominance with Generalized Quantifiers.- Nonassociative Lambek Calculus with Additives and Context-Free Languages.- On Lazy Commutation.- Aspect Oriented Approach for Capturing and Verifying Distributed Properties.- No i-Sums for Nissim (and Shalom).- The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata.- Modular Verification of Strongly Invasive Aspects.- Classes of Service under Perfect Competition and Technological Change.- On the Ontological Nature of Syntactic Categories in Categorial Grammar.- Masking Gateway for Enterprises.- No Syllogisms for the Numerical Syllogistic.- Formal Grammars of Early Language.- Hybrid BDD and All-SAT Method for Model Checking.