Sciweavers

KI
1990
Springer
15 years 25 days ago
Expansion von Ereignis-Propositionen zur Visualisierung
: Das Projekt VITRA (VIsual TRAnslator) besch
Jörg R. J. Schirra
88
Voted
KI
1990
Springer
15 years 25 days 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