Languages: From Formal to Natural [electronic resource] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner.
By: Grumberg, Orna.
Contributor(s): Kaminski, Michael | Katz, Shmuel | Wintner, Shuly | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 5533.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642017483.Subject(s): Computer science | Information theory | Logic design | Logic, Symbolic and mathematical | Computer Science | Mathematical Logic and Formal Languages | Mathematical Logic and Foundations | Logics and Meanings of Programs | Theory of Computation | Arithmetic and Logic StructuresDDC classification: 005.131 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.