Languages: from formal to natural: essays dedicated to Nissim Francez on the occasion of his 65th birthday

Orna Grumberg ... (eds.)

Berlin [u.a.]: Springer, 2009

Festschrift, Conference proceedings, Edited collection, Printed Resource - X, 244 S. : Ill., graph. Darst.

Title:	Languages: from formal to natural: essays dedicated to Nissim Francez on the occasion of his 65th birthday
Statement of Responsibility:	Orna Grumberg ... (eds.)
Author / Contributor:	Grumberg, Orna ; Francez, Nissim
Link:	Inhaltsverzeichnis
Related work:	Lecture notes in computer science — Additional volumes
Publication:	Berlin [u.a.]: Springer, 2009
Media Type:	Festschrift, Conference proceedings, Edited collection
Carrier Type:	Printed Resource
Pagination:	X, 244 S. : Ill., graph. Darst.
ISBN:	9783642017476 kart. : EUR 45.96 (freier Pr.), sfr 71.50 (freier Pr.); 3642017479
Subject heading:	Formale Sprache Natürliche Sprache Computerlinguistik Programmverifikation
Additional details:	Gesamttitelangabe: Lecture notes in computer science ; 5533 : Festschrift Konferenzschrift: Haifa, 2009 Verlags-/Bestellnummer: 12667154 Lokale Notationen: TTO; TVL Fächer: Informatik hbz Verbund-ID: HT016519920

Please select a fomat and save the data, next, you provide an e-mail address and have the data delivered there.

BibTeX Citavi, JabRef, et al.
(Reference Management)

PDF No full text!
(Notepad, Notes)

RIS Endnote, Citavi, e.a.
(Reference Management)

MODS
(XML for further processing)

Select the appropriate citation format, copy it to the clipboard, and have it sent by e-mail or save it as a PDF file.

Citation style selected:

Please check that the citation is formally correct prior to using it in a paper. You might like to use the "Export" dialogue for formatting citations yourself for a reference management program.