Registration status
User registration: closed
User login
XXXVI-th WILGA Symposium in International Year of Light 2015
XXXVI-th WILGA Symposium is the event in International Year of Light 2015 organized with UNESCO. Clic HERE for more infiormation.
Computer theorem proving in some extended logic
Sławomir Płodczyk, Janusz Wesserling, Jan Mulawka: Computer theorem proving in some extended logic
Author: Sławomir PłodczykConference: Title