Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

The SH-verification tool

 
: Ochsenschläger, P.; Repp, J.; Rieke, R.; Struif, B.

Etheredge, J.:
Thirteenth International Florida Artificial Intelligence Research Society Conference 2000. Proceedings : Hotel Royal Plaza, Orlando, Florida, 22 - 24 May 2000
Menlo Park: AAAI Press, 2000
ISBN: 1-577-35113-4
S.18-22
International Florida Artificial Intelligence Research Society Conference (FLAIRS) <13, 2000, Orlando/Fla.>
Englisch
Konferenzbeitrag
Fraunhofer SIT ()

: http://publica.fraunhofer.de/dokumente/2004931723.html