Solving large systems of logical equations
autor
Zakrevskij, Arkadij D
toimetaja
Keevallik, Andres
vastutusandmed
Arkadi D. Zakrevskij ; edited by Andres Keevallik
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
TUT Press
ilmumisaasta
2013
leheküljed
114 p. : ill
leitav
http://www.ester.ee/record=b3000573*est
märksõna
matemaatiline loogika
võrrandid
võrrandisüsteemid
ISBN
978-9949-23-532-2
märkused
Bibliogr.: 85 ref
keel
inglise