Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Schreye, Danny.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Logic-based program synthesis and transformation = 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers / by: Congress on Progress and Controversies in Oncological Urology (2000:); Schreye, Danny.; SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering. Artificial Intelligence (incl. Robotics) Programming Techniques. Computer Science. Programming Languages, Compilers, Interpreters. Logic programming Logics and Meanings of Programs. Mathematical Logic and Formal Languages.

Change password

Login