Search:

Start a new search
Add/Remove Filters (3 filters currently applied)

Results 1-2 of 2 (Search time: 0.043 seconds).
 |  Relevance

 

  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
1Jun-1998Satchmo: minimal model generation and compilation (system description)Yahya, Adnan; Bruggemann, Thomas; Eisinger , Norbert; Panne, Sven; Torge, Sunna; Bry, Francois; Geisler, Tim; Schutz, Heribert
2May-1996Minimal model generation with positive unit hyper-resolution tableauxBry, Francois; Yahya, Adnan