Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Author: #Orlowska Ewa)
Results:2items
Theorem- proving systems / by Ewa Or?owska.
Warszawa : Panstwowe Wydawnictwo Naukowe , 1973. - (Dissertationes mathematicae)
Books
Dual Tableaux: Foundations, Methodology, Case Studies / by Ewa Orlowska, Joanna Golińska Pilarek
1st ed. 2011.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2011). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 33)
E-Book