Yazar
Steven Greenbaum
2 cilt bulundu.
Cilt sonuçları
Input transformations and resolution implementation techniques for theorem proving in first-order logic
Steven Greenbaum · Dept. of Computer Science, University of Illinois at Urbana-Champaign
248 sayfa · 1986
Automatic theorem proving / Symbolic and mathematical Logic
Civil Litigation Section and Young Lawyers Division present obtaining pre-judgement security and post-judgement collection, May 7, 1985
Steven A. Greenbaum, Michael C. Gilleran · Massachusetts Bar Association
17 sayfa · 1985
Attachment and garnishment / Civil procedure / Congresses