Sciweavers

3706 search results - page 25 / 742
» System Description: E-KRHyper
Sort
View
MUC
1992
13 years 11 months ago
BBN: description of the PLUM system as used for MUC-4
Damaris M. Ayuso, Sean Boisen, Heidi Fox, Herbert ...
CADE
2006
Springer
13 years 11 months ago
System Description: GCLCprover + GeoThms
Predrag Janicic, Pedro Quaresma