Sciweavers

102

KI
1990
Springer

73views Artificial Intelligence» more KI 1990»

Expansion von Ereignis-Propositionen zur Visualisierung

15 years 7 months ago

Expansion von Ereignis-Propositionen zur Visualisierung

Download isgwww.cs.uni-magdeburg.de

: Das Projekt VITRA (VIsual TRAnslator) besch

Jörg R. J. Schirra

claim paper

Read More »

140

KI
1990
Springer

169views Artificial Intelligence» more KI 1990»

The Representation of Program Synthesis in Higher Order Logic

15 years 7 months ago

The Representation of Program Synthesis in Higher Order Logic

Download www.cs.uni-potsdam.de

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

claim paper

Read More »