Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

The search session has expired. Please query the service again.

Currently displaying 1 – 3 of 3

Order by Relevance | Title | Year of publication

Theorem-proving systems

Ewa Orłowska — 1973

CONTENTSIntroduction.................................................................................................................... 6Chapter I. Theorem-proving system§ 1. Theory...................................................................................................................... 7§ 2. Fundamental theory $T_{ƒ}$ ................................................................................ 8§ 3. Theorem-proving system.......................................................................................

Kripke models with relative accessibility and their applications to inferences from incomplete information

Ewa Orłowska — 1988

Banach Center Publications

Helena Rasiowa, 1917-1994

Wiktor Bartol; Ewa Orłowska; Andrzej Skowron — 1999

Banach Center Publications

Page 1

Download Results (CSV)