|
|
|
|
| LEADER |
02630nam a22005535i 4500 |
| 001 |
7122 |
| 003 |
DE-He213 |
| 005 |
20130725191850.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100301s2009 gw | s |||| 0|eng d |
| 020 |
# |
# |
|a 9783642017483
|9 978-3-642-01748-3
|
| 024 |
7 |
# |
|a 10.1007/978-3-642-01748-3
|2 doi
|
| 050 |
# |
4 |
|a QA8.9-QA10.3
|
| 072 |
# |
7 |
|a UYA
|2 bicssc
|
| 072 |
# |
7 |
|a MAT018000
|2 bisacsh
|
| 072 |
# |
7 |
|a COM051010
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.131
|2 23
|
| 100 |
1 |
# |
|a Grumberg, Orna.
|e editor.
|
| 245 |
1 |
0 |
|a Languages: From Formal to Natural
|b Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
|c edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner.
|h [electronic resource] :
|
| 264 |
# |
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2009.
|
| 300 |
# |
# |
|b online resource.
|
| 336 |
# |
# |
|a text
|b txt
|2 rdacontent
|
| 337 |
# |
# |
|a computer
|b c
|2 rdamedia
|
| 338 |
# |
# |
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
# |
# |
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
# |
|a Lecture Notes in Computer Science,
|v 5533
|x 0302-9743 ;
|
| 520 |
# |
# |
|a 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 |
# |
0 |
|a Computer science.
|
| 650 |
# |
0 |
|a Information theory.
|
| 650 |
# |
0 |
|a Logic design.
|
| 650 |
# |
0 |
|a Logic, Symbolic and mathematical.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
| 650 |
2 |
4 |
|a Mathematical Logic and Foundations.
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
| 650 |
2 |
4 |
|a Theory of Computation.
|
| 650 |
2 |
4 |
|a Arithmetic and Logic Structures.
|
| 700 |
1 |
# |
|a Kaminski, Michael.
|e editor.
|
| 700 |
1 |
# |
|a Katz, Shmuel.
|e editor.
|
| 700 |
1 |
# |
|a Wintner, Shuly.
|e editor.
|
| 710 |
2 |
# |
|a SpringerLink (Online service)
|
| 773 |
0 |
# |
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783642017476
|
| 830 |
# |
0 |
|a Lecture Notes in Computer Science,
|v 5533
|x 0302-9743 ;
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-01748-3
|
| 912 |
# |
# |
|a ZDB-2-SCS
|
| 912 |
# |
# |
|a ZDB-2-LNC
|
| 950 |
# |
# |
|a Computer Science (Springer-11645)
|