Languages
Nigam, Vivek.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic, language, and securityessays dedicated to Andre Scedrov on the occasion of his 65th birthday /
by:
Nigam, Vivek.; Scedrov, Andre, (1955-); SpringerLink (Online service)
(Electronic resources)
Subjects
Computer logic.
Logic.
Computer security.
Mathematical Logic and Formal Languages.
Natural language processing (Computer science)
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Scedrov, Andre,
Artificial Intelligence.
Computer Systems Organization and Communication Networks.