語系
Middeldorp, Aart.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Rewriting techniques and applications12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings /
by:
(1998 :); Middeldorp, Aart.; SpringerLink (Online service)
(書目-電子資源)
Functional and logic programming4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings /
by:
(1998 :); Middeldorp, Aart.; Sato, Taisuke.; SpringerLink (Online service)
(書目-電子資源)
Automated deduction - CADE-2525th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
by:
(1998 :); Felty, Amy P.; Middeldorp, Aart.; SpringerLink (Online service)
(書目-電子資源)
Processes, Terms and Cycles: Steps on the Road to Infinity :Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by:
Middeldorp, Aart.; SpringerLink (Online service)
(書目-電子資源)
主題
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Image Processing and Computer Vision.
Machine theory.
Logics and Meanings of Programs.
Pattern Recognition.
Artificial Intelligence (incl. Robotics)
Logic programming
Algorithms
Automatic theorem proving
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Computation by Abstract Devices.
Computer programming
Lambda calculus.
Functional programming (Computer science)
Computer Science.
Logic, Symbolic and mathematical