Mark Stickel: his earliest work

DOI10.1007/S10817-015-9342-4MaRDI QIDQ287332zbMATH OpenOpenAlexFDO

Authors Donald W. Loveland

Publication date 26 May 2016

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-015-9342-4

zbMATH Keywords

Belnap's logicfuzzy logicMESON methodunification problems

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) History of computer science (68-03)

Recommendations

• scientific article; zbMATH DE number 1163312
• The work of Stanley Osher
• The work of Jon Kleinberg
• scientific article; zbMATH DE number 2194152
• The early work of Walter Greiner (1960--1968)
• Boris Fadeevich Skubenko. His first work
• scientific article; zbMATH DE number 6797613
• The work of Phillip Griffiths
• scientific article; zbMATH DE number 854136
• The works of Curtis McMullen

Cites work

• A Hole in Goal Trees: Some Guidance from Resolution Theory
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• A Unification Algorithm for Associative-Commutative Functions
• Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
• Fuzzy sets
• scientific article; zbMATH DE number 3871321 (Why is no real title available?)
• scientific article; zbMATH DE number 3871322 (Why is no real title available?)
• scientific article; zbMATH DE number 5539366 (Why is no real title available?)
• scientific article; zbMATH DE number 2090293 (Why is no real title available?)
• scientific article; zbMATH DE number 3254476 (Why is no real title available?)
• Linear resolution with selection function
• SETHEO: A high-performance theorem prover
• Three views of logic. Mathematics, philosophy, and computer science

Describes a project that uses

Uses Software

• SETHEO

This page was built for publication: Mark Stickel: his earliest work

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q287332)