| |
| | SatAM - Satchmo Abstract Machine (ResearchIndex) (Site not responding. Last check: 2007-11-01) |
 | | If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies. |
 | | Abstract: Machine (System Description) Alexander von Drach, Tim Geisler, Sven Panne, David Sacher In: Proc 13th Workshop Logische Programmierung (WLP '98), TU Wien, Oct. 1998 http://www.pms.informatik.uni-muenchen.de/publikationen Forschungsbericht/Research Report PMS-FB-1998-9, May SatAM -- Satchmo Abstract Machine (System Description) Alexander von Drach, Tim Geisler, Sven Panne, and David Sacher Institut fur Informatik, Universitat Munchen, Oettingenstr. |
 | | @misc{ drach-satam, author = "Alexander von Drach and Tim Geisler and Sven Panne and David Sacher", title = "SatAM - Satchmo Abstract Machine", url = "citeseer.ist.psu.edu/drach98satam.html" } |
| citeseer.ist.psu.edu /172745.html (232 words) |
|