000 00645nam a2200217Ia 4500
005 20231121091937.0
008 231120s9999 xx 000 0 und d
020 _a0-8176-3719-2
040 _aLIS CUI Lahore
_cAACR-II/RDA
082 _a511.3 STR-F
_bSTR-F
100 _aStraubing, Howard
245 0 _aFinite automata, formal logic, and circuit complexity
260 _aBoston
_bBirkhauser
264 _c0
300 _aSoft Binding
_bxii 226
365 _b100
_cRs.
546 _aEnglish
650 _xFinite automata, formal logic, and circuit complexity
852 _pLHR 1135
942 _2lhr
_cLHR 1135
_h1
999 _c429305
_d429305