Reasoning About Knowledge Using Extensional Logics

View/Open

TR-87-36.pdf (1.452Mb)

Downloads: 159

TR number

TR-87-36

Date

1987

Author

Gat, Erann

Miller, David P.

Metadata

Show full item record

URI

http://hdl.handle.net/10919/20309

Collections

Computer Science Technical Reports [1030]