Theorem-proving systems / Ewa Orłowska
Saved in:
Superior document: | Dissertationes mathematicae 103 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Warszawa : PWN, 1973 |
Year of Publication: | 1973 |
Language: | English |
Series: | Dissertationes mathematicae
103 |
Physical Description: | 55 S. |
Notes: | Literaturverz. S. [48] - 51 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
First-order logic and automated theorem proving / / Melvin Fitting.
by: Fitting, Melvin,
Published: ([1996]) -
Automated theorem proving : : after 25 years / / W.W. Bledsoe and D.W. Loveland, editors.
Published: ([1984]) -
Conditional and preferential logics : proof methods and theorem proving / / Gian Luca Pozzato.
by: Pozzato, Gian Luca.
Published: (c2010.) -
Palinostratygrafia epikontynentalnych osadów wyższego triasu w polsce : = Palinostratigrafija epikontinental′nych osadkov verchnego triasa v Pol′še
by: Orłowska-Zwolińska, Teresa
Published: (1983) -
Johan Pyre : : Ein Kaufmann und sein Handelsbuch im spätmittelalterlichen Danzig . Darstellung und Edition.
by: Orłowska, Anna Paulina.
Published: (2022.)