000 -LEADER |
fixed length control field |
00545nam a2200157Ia 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
161214s9999 xx 000 0 und d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783642017476 |
Terms of availability |
pbk |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004 |
Item number |
GRU |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Grumberg, Orna |
245 #0 - TITLE STATEMENT |
Title |
Languages : From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of his 65th Birthday |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
Berlin: |
Name of publisher, distributor, etc |
Springer, |
Date of publication, distribution, etc |
2009 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
x, 244 p.; |
Other physical details |
ill.: |
Dimensions |
24 cm. |
365 ## - TRADE PRICE |
Price type code |
INR |
Price amount |
2929.19/ 42.95 |
490 ## - SERIES STATEMENT |
Series statement |
Lecture notes in computer science |
520 ## - SUMMARY, ETC. |
Summary, etc |
This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel. The theme of the symposium was Languages: From Formal to Natural, reflecting the focus of Nissim Francez' research career, which started in program verification and the semantics of programming languages and later concentrated on natural languages and computational linguistics. The papers included in this volume cover the entire spectrum of this field of research |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Programming language |
|
Topical term or geographic name as entry element |
Computational linguistics |
|
Topical term or geographic name as entry element |
Masking Gateway |
|
Topical term or geographic name as entry element |
Numerical Syllogistic |
|
Topical term or geographic name as entry element |
Semi-formal Evaluation |
|
Topical term or geographic name as entry element |
All-SAT Method |
|
Topical term or geographic name as entry element |
Nonassociative Lambek Calculus |
|
Topical term or geographic name as entry element |
Hybrid BDD |
|
Topical term or geographic name as entry element |
Electronic computers |
|
Topical term or geographic name as entry element |
Informatique |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Item type |
Books |