Michael Kaminski – författare
Visar alla böcker från författaren Michael Kaminski. Handla med fri frakt och snabb leverans.
4 produkter
Computer Science Logic
22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
Av Simone Martini, Michael Kaminski
E-bok, 2008
1467 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. The 31 revised full papers presented together with 4 invited lectures were carefully …
Languages: From Formal to Natural
Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Av Orna Grumberg, Michael Kaminski m. fl.
Häftad, 2009
551 kr
Lägg i varukorg
The symposium "Languages: From Formal to Natural," celebrating the 65th birthday of Nissim Francez, was held on May 24-25, 2009 at the Technion, Haifa. The symposium consisted of two parts, a veri?cation day and a language day, and covered all areas of Nissim's past and present research interests, …
Languages: From Formal to Natural
Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Av Shuly Wintner, Shmuel Katz m. fl.
E-bok, 2009
734 kr
Lägg i varukorg
