Sciweavers

15 search results - page 1 / 3
» jar 2000
Sort
View
JAR
2000
50views more  JAR 2000»
13 years 5 months ago
Single Step Tableaux for Modal Logics
Fabio Massacci
JAR
2000
87views more  JAR 2000»
13 years 5 months ago
Managing Structural Information by Higher-Order Colored Unification
Dieter Hutter, Michael Kohlhase
JAR
2010
100views more  JAR 2010»
13 years 3 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»
13 years 5 months ago
A Behavior-Level Fault Model for the Closed-Loop Operational Amplifier
Yeong-Jar Chang, Chung-Len Lee, Jwu E. Chen, Chauc...