Second-order logic

Related papers: 1

Top Researchers

Richard Waldinger

Institution: —

Zohar Manna

Institution: —

Top Cited Papers

How to clear a block: Plan formation in situational logic

Zohar Manna, Richard Waldinger

Citations: 11 • 1986

Related Technologies

Artificial intelligence Computer science Mathematics Inference Theoretical computer science Programming language Mathematical proof Situational ethics Epistemology Plan (archaeology)