The difference between generating counter examples and using them during reasoning.
about
The difference between generating counter examples and using them during reasoning.
description
2004 nî lūn-bûn
@nan
2004年の論文
@ja
2004年論文
@yue
2004年論文
@zh-hant
2004年論文
@zh-hk
2004年論文
@zh-mo
2004年論文
@zh-tw
2004年论文
@wuu
2004年论文
@zh
2004年论文
@zh-cn
name
The difference between generating counter examples and using them during reasoning.
@en
type
label
The difference between generating counter examples and using them during reasoning.
@en
prefLabel
The difference between generating counter examples and using them during reasoning.
@en
P2093
P2860
P1476
The difference between generating counter examples and using them during reasoning.
@en
P2093
Géry d'Ydewalle
Niki Verschueren
Walter Schaeken
Wim De Neys
P2860
P304
P356
10.1080/02724980343000774
P577
2004-10-01T00:00:00Z