Languages
Eekelen, Marko van.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Shkaravska, Olha.; Eekelen, Marko van.; Pena, Ricardo.
(Electronic resources)
Interactive theorem proving = second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings /
by:
Eekelen, Marko van.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Automatic theorem proving
Computer software- Development
System Performance and Evaluation.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.