TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 63 records were found in 0.437 seconds
Konzeption und Implementierung einer komponentenbasierten Softwareentwicklungsplattform für raumbezogene internetfähige Informationssysteme
RWTH Aachen University, ISBN: 978-3-86130-220-91-124, 2006
Editing First-Order Proofs: Programmed Rules vs Derived Rules
SLP, 92-98, 1984