語系
Nigam, Vivek.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic, language, and securityessays dedicated to Andre Scedrov on the occasion of his 65th birthday /
by:
Nigam, Vivek.; Scedrov, Andre, (1955-); SpringerLink (Online service)
(書目-電子資源)
主題
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.