Wellcome

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, OrnaContributor(s): Kaminski, Michael | Katz, Shmuel | Wintner, Shuly | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 5533Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009ISBN: 9783642017483Subject(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 StructuresAdditional physical formats: Printed edition:: No titleOnline resources: Click here to access online In: Springer eBooks
Item type:
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Ebooks Ebooks Mysore University Main Library
Not for loan EBSP03902902

There are no comments on this title.

to post a comment.

No. of hits (from 9th Mar 12) :

web counter

Powered by Koha