Author:
Bolc, Leonard (Institute of Computer Science, Polish Academy of Sciences)
Dziewicki, Krzysztof
Rychlik, Piotr
Szalas, Andrzej (University of Warsaw)
Title:
Wnioskowanie w logikach nieklasycznych: Automatyzacja wnioskowania
Alternative title (en)
:
Reasoning in nonclassical logics: Automated Methods
Publication type:
Book (Other academic)
Place of publ.:
Warsaw
Publisher:
Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ)
URI:
urn:nbn:se:liu:diva-74983
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-74983
ISBN:
83-7101-403-1,
978-83-7101-403-1
Subject category:
Engineering and Technology
Available from:
2012-02-13
Statistics:
24 hits