Sciweavers

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