Solving large systems of logical equations
author
Zakrevskij, Arkadij D
editor
Keevallik, Andres
statement of authorship
Arkadi D. Zakrevskij ; edited by Andres Keevallik
location of publication
[Tallinn]
publisher
TUT Press
year of publication
2013
pages
114 p. : ill
url
http://www.ester.ee/record=b3000573*est
subject term
matemaatiline loogika
võrrandid
võrrandisüsteemid
ISBN
978-9949-23-532-2
notes
Bibliogr.: 85 ref
language
inglise