LiU Electronic Press
Full-text not available in DiVA
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)
Language:
Polish
Place of publ.: Warsaw Publisher: Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ)
Pages:
159
Year of publ.:
1998
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
Created:
2012-02-13
Last updated:
2012-02-21
Statistics:
29 hits