000 00665nmm a2200229Ia 4500
001 EBK14722
005 20250328145436.0
008 250328s9999 xx 000 0 und d
020 _a9783319276830
100 _aSergei Artemov
245 0 _aLogical Foundations of Computer Science
250 _a1st ed. 2016
260 _bSpringer
260 _c2016
490 _aLecture Notes in Computer Science
650 _aComputer Science
650 _aFormal Languages and Automata Theory
700 _a Anil Nerode
856 _3Click here to access online
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-319-27683-0
942 _cEBK
999 _c162727
_d162727