Sciweavers

1253 search results - page 5 / 251
» order 2000
Sort
View
CACM
2000
62views more  CACM 2000»
14 years 10 months ago
The five orders of ignorance
Phillip G. Armour
CI
2000
47views more  CI 2000»
14 years 10 months ago
Second-Order Cohesion
Stefan Kaufmann
CJ
2000
79views more  CJ 2000»
14 years 10 months ago
Conceptual Graphs and First Order Logic
Gianni Amati, Iadh Ounis
74
Voted
CORR
2000
Springer
63views Education» more  CORR 2000»
14 years 10 months ago
Termination analysis of logic programs using acceptability with general term orders
Alexander Serebrenik, Danny De Schreye
DMTCS
2000
89views Mathematics» more  DMTCS 2000»
14 years 10 months ago
Ordered Vertex Partitioning
Ross M. McConnell, Jeremy Spinrad