8. EUROCAST 2001: Las Palmas de Gran Canaria, Canary Islands, Spain

Refine list

showing all ?? records

Invited Lectures

Computer Aided Systems Theory

Mathematical and Logic Formalisms

Information and Decision


CAST in Neural-like Computation - Applications

CAST in Automation and Control

Computer Algebra and Automated Theorem Proving

Functional Programming and Lambda-Calculus

a service of  Schloss Dagstuhl - Leibniz Center for Informatics