語系
Abramsky, Samson.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Typed lambda calculi and applications = 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 : proceedings /
by:
Abramsky, Samson.; SpringerLink (Online service); International Conference on Typed Lambda Calculi and Applications (2001 :)
(書目-語言資料,印刷品)
Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part II /
by:
Abramsky, Samson.; SpringerLink (Online service); International Colloquium on Automata, Languages, and Programming (2010 :)
(書目-語言資料,印刷品)
Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part I /
by:
Abramsky, Samson.; SpringerLink (Online service); International Colloquium on Automata, Languages, and Programming (2010 :)
(書目-語言資料,印刷品)
Dependence logic = theory and applications /
by:
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.
Information Systems Applications (incl.Internet)
Imaging systems in medicine- Congresses.
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.