Logic for applications

Podrobný výpis o publikaci

1993

NERODE, Anil a Richard A. SHORE

NERODE, Anil a Richard A. SHORE

New York, xvii, 365, 1993

Springer-Verlag

0387941290

Změněno: 22. 4. 2024 04:45, 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.

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