5

A Shimming Scheme for Active Shielding

Year:
2014
Language:
english
File:
PDF, 453 KB
english, 2014
20

Goals and Benchmarks for Automated Map Reasoning

Year:
2000
Language:
english
File:
PDF, 625 KB
english, 2000
23

Three-variable statements of set-pairing

Year:
2004
Language:
english
File:
PDF, 402 KB
english, 2004
24

An Agg Application Supporting Visual Reasoning

Year:
2001
Language:
english
File:
PDF, 343 KB
english, 2001
27

T-Resolution: Refinements and Model Elimination

Year:
1999
Language:
english
File:
PDF, 297 KB
english, 1999
44

RASP and ASP as a fragment of linear logic

Year:
2013
Language:
english
File:
PDF, 318 KB
english, 2013
45

Comparative uncertainty: theory and automation

Year:
2008
Language:
english
File:
PDF, 503 KB
english, 2008
49

Decidability results for sets with atoms

Year:
2006
Language:
english
File:
PDF, 511 KB
english, 2006