Logic for applications

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

1993

Logic for applications

NERODE, Anil a Richard A. SHORE

Základní údaje

Originální název

Logic for applications

Autoři

NERODE, Anil a Richard A. SHORE

Vydání

New York, xvii, 365, 1993

Nakladatel

Springer-Verlag

Další údaje

Označené pro přenos do RIV

ISBN

0387941290

Změněno: 2. 3. 2026 05:41, Záznam byl importován z knihovního systému.

NERODE, Anil a Richard A. SHORE. Logic for applications. New York: Springer-Verlag, 1993, xvii, 365. ISBN 0387941290.

@article{,
   author = {Nerode, Anil and Shore, Richard A.},
   address = {New York},
   location = {New York},
   isbn = {0387941290},
   publisher = {Springer-Verlag},
   title = {Logic for applications},
   year = {1993}
}

TY  - JOUR
AU  - Nerode, Anil - Shore, Richard A.
PY  - 1993
TI  - Logic for applications
PB  - Springer-Verlag
CY  - New York
SN  - 0387941290
ER  -

NERODE, Anil a Richard A. SHORE. \textit{Logic for applications}. New York: Springer-Verlag, 1993, xvii, 365. ISBN~0387941290.