Sciweavers

KI
1990
Springer
13 years 9 months ago
Expansion von Ereignis-Propositionen zur Visualisierung
: Das Projekt VITRA (VIsual TRAnslator) besch
Jörg R. J. Schirra
KI
1990
Springer
13 years 9 months ago
The Representation of Program Synthesis in Higher Order Logic
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
Christoph Kreitz