Sciweavers

15 search results - page 1 / 3
» jar 2000
Sort
View
97
Voted
JAR
2000
50views more  JAR 2000»
15 years 18 days ago
Single Step Tableaux for Modal Logics
Fabio Massacci
86
Voted
JAR
2000
87views more  JAR 2000»
15 years 18 days ago
Managing Structural Information by Higher-Order Colored Unification
Dieter Hutter, Michael Kohlhase
91
Voted
NOMS
2000
IEEE
15 years 5 months ago
Integrated Network and Element Management System for the 3rd  generation CDMA2000 wireless network
Gary E. Becker, Roopa Rudrapatna, Sunil Sowlay, K....
81
Voted
JAR
2010
100views more  JAR 2010»
14 years 11 months 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
59
Voted
JISE
2000
41views more  JISE 2000»
15 years 18 days ago
A Behavior-Level Fault Model for the Closed-Loop Operational Amplifier
Yeong-Jar Chang, Chung-Len Lee, Jwu E. Chen, Chauc...