Author:
Szalas, Andrzej (University of Warsaw)
Title:
Zarys dedukcyjnych metod automatycznego wnioskowania
Alternative title (en)
:
Introduction to automated deduction
Publication type:
Book (Other academic)
Place of publ.:
Warsaw
Publisher:
Academic Pub. RM (Akademicka Oficyna Wydawnicza RM)
URI:
urn:nbn:se:liu:diva-75006
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-75006
ISBN:
83-9004-517-6,
978-83-9004-517-7
Subject category:
Engineering and Technology
Available from:
2012-02-13
Statistics:
11 hits