Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("STICKEL ME")

Results 1 to 3 of 3

  • Page / 1
Export

Selection :

  • and

A UNIFICATION ALGORITHM FOR ASSOCIATIVE-COMMUTATIVE FUNCTIONSSTICKEL ME.1981; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1981; VOL. 28; NO 3; PP. 423-434; BIBL. 17 REF.Article

A HOLE IN GOAL TREES: SOME GUIDANCE FROM RESOLUTION THEORY.LOVELAND DW; STICKEL ME.1976; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1976; VOL. 25; NO 4; PP. 335-341; BIBL. 21 REF.; (INT. JT. CONF. ARTIF. INTELL. 3; STANFORD, CALIF.; 1973)Conference Paper

COMPLETE SETS OF REDUCTIONS FOR SOME EQUATIONAL THEORIESPETERSON GE; STICKEL ME.1981; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1981; VOL. 28; NO 2; PP. 233-264; BIBL. 31 REF.Article

  • Page / 1