Sciweavers

6978 search results - page 315 / 1396
» On Proofs in System P
Sort
View
139
Voted
ESWA
2010
89views more  ESWA 2010»
15 years 5 months ago
A visual programming system for automated problem solving
Ourania Hatzi, Dimitris Vrakas, Nick Bassiliades, ...
119
Voted
INFFUS
2011
41views more  INFFUS 2011»
15 years 1 months ago
Intelligent Transportation System (ITS)
Henry Leung, Nour-Eddin El Faouzi, Ajeesh P. Kuria...
117
Voted
SIAMADS
2010
68views more  SIAMADS 2010»
15 years 1 months ago
Front Interactions in a Three-Component System
P. van Heijster, Arjen Doelman, Tasso J. Kaper, Ke...