Sciweavers

2 search results - page 1 / 1

» ismis 1987

39

Voted

ISMIS
1987
Springer

61views Artificial Intelligence» more ISMIS 1987»

Resolution for Intuitionistic Logic

15 years 4 months ago

Resolution for Intuitionistic Logic

Download comet.lehman.cuny.edu

Melvin Fitting

claim paper

Read More »

46

Voted

ISMIS
1987
Springer

84views Artificial Intelligence» more ISMIS 1987»

Knowledge and the Problem of Logical Omniscience

15 years 4 months ago

Knowledge and the Problem of Logical Omniscience

Download www.sci.brooklyn.cuny.edu

Rohit Parikh

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »