語系
Abramsky, Samson.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automata, languages and programming37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.part II /
by:
(1998 :); Abramsky, Samson.; SpringerLink (Online service)
(書目-電子資源)
Dependence logictheory and applications /
by:
Abramsky, Samson.; SpringerLink (Online service)
(書目-電子資源)
Automata, languages and programming37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.part I /
by:
(1998 :); Abramsky, Samson.; SpringerLink (Online service)
(書目-電子資源)
Typed lambda calculi and applications5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 : proceedings /
by:
(1998 :); Abramsky, Samson.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Artificial intelligence
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logic.
Lambda calculus
Machine theory
Logic, Symbolic and mathematical.
Linear dependence (Mathematics)
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Image registration
Mathematics.
Imaging systems in medicine
Information Systems Applications (incl.Internet)
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.