LiU Electronic Press
Full-text not available in DiVA
Author:
Szalas, Andrzej (University of Warsaw)
Title:
Zarys dedukcyjnych metod automatycznego wnioskowania
Alternative title (en) :
Introduction to automated deduction
Publication type:
Book (Other academic)
Language:
Polish
Place of publ.: Warsaw Publisher: Academic Pub. RM (Akademicka Oficyna Wydawnicza RM)
Pages:
120
Year of publ.:
1992
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
Created:
2012-02-13
Last updated:
2012-02-20
Statistics:
17 hits