Sciweavers

15 search results - page 1 / 3
» jar 2000
Sort
View
99
Voted
JAR
2000
50views more  JAR 2000»
15 years 1 months ago
Single Step Tableaux for Modal Logics
Fabio Massacci
91
Voted
JAR
2000
87views more  JAR 2000»
15 years 1 months ago
Managing Structural Information by Higher-Order Colored Unification
Dieter Hutter, Michael Kohlhase
94
Voted
NOMS
2000
IEEE
15 years 6 months ago
Integrated Network and Element Management System for the 3rd  generation CDMA2000 wireless network
Gary E. Becker, Roopa Rudrapatna, Sunil Sowlay, K....
94
Voted
JAR
2010
100views more  JAR 2010»
15 years 8 days ago
Geometry Constructions Language
We give a short survey of the main principles of our software for the visualisation and animation in mathematics and study the visibility and contour problems in the representation...
Predrag Janicic
61
Voted
JISE
2000
41views more  JISE 2000»
15 years 1 months ago
A Behavior-Level Fault Model for the Closed-Loop Operational Amplifier
Yeong-Jar Chang, Chung-Len Lee, Jwu E. Chen, Chauc...