about
description
1981 nî lūn-bûn
@nan
1981 թուականի Մարտին հրատարակուած գիտական յօդուած
@hyw
1981 թվականի մարտին հրատարակված գիտական հոդված
@hy
1981年の論文
@ja
1981年論文
@yue
1981年論文
@zh-hant
1981年論文
@zh-hk
1981年論文
@zh-mo
1981年論文
@zh-tw
1981年论文
@wuu
name
Theorem proving with abstraction
@ast
Theorem proving with abstraction
@en
type
label
Theorem proving with abstraction
@ast
Theorem proving with abstraction
@en
prefLabel
Theorem proving with abstraction
@ast
Theorem proving with abstraction
@en
P1476
Theorem proving with abstraction
@en
P2093
David A. Plaisted
P304
P356
10.1016/0004-3702(81)90015-1
P407
P577
1981-03-01T00:00:00Z