Sciweavers

75

click to vote

LICS
1987
IEEE

53views Automated Reasoning» more LICS 1987»

Domain Theory in Logical Form

15 years 8 months ago

Download www.comlab.ox.ac.uk

Samson Abramsky

claim paper

Read More »

86

click to vote

LICS
1987
IEEE

62views Automated Reasoning» more LICS 1987»

The Power of Temporal Proofs

15 years 8 months ago

Download www.hpl.hp.com

Martín Abadi

claim paper

Read More »

27

click to vote

KI
1987
Springer

45views Artificial Intelligence» more KI 1987»

Many-Sorted Resolution

15 years 8 months ago

Download www.aaai.org

Christoph Walther

claim paper

Read More »

45

click to vote

IEAAIE
1989
Springer

63views Artificial Intelligence» more IEAAIE 1989»

Hierarchical scheduling in an intelligent environmental control system

15 years 8 months ago

Download smslab.kaist.ac.kr

Tag Gon Kim, Bernard P. Zeigler

claim paper

Read More »

67

click to vote

ISMIS
1987
Springer

84views Artificial Intelligence» more ISMIS 1987»

Knowledge and the Problem of Logical Omniscience

15 years 8 months ago

Download www.sci.brooklyn.cuny.edu

Rohit Parikh

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers