Nigam, Vivek.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Logic, Language, and Security = Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday /
by:
Ban Kirigin, Tajana.; Talcott, Carolyn.; Okada, Mitsuhiro.; SpringerLink (Online service); Nigam, Vivek.; Guttman, Joshua.; Kuznetsov, Stepan.; Thau Loo, Boon.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Artificial intelligence.
Artificial Intelligence.
Computer logic.
Computer organization.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical logic.
Mathematical Logic and Formal Languages.
Software engineering.
Software Engineering/Programming and Operating Systems.