Vivek Nigam – författare
Visar alla böcker från författaren Vivek Nigam. Handla med fri frakt och snabb leverans.
2 produkter
Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Av Vivek Nigam, Tajana Ban Kirigin m. fl.
Häftad, 2020
678 kr
Lägg i varukorg
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning …
Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Av Mitsuhiro Okada, Boon Thau Loo m. fl.
E-bok, 2020
903 kr
Lägg i varukorg
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning …
