First order logic and automated theorem proving

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

1996

First order logic and automated theorem proving

FITTING, Melvin

Základní údaje

Originální název

First order logic and automated theorem proving

Autoři

FITTING, Melvin

Vydání

2nd ed. New York, xvi, 326, 1996

Nakladatel

Springer

Další údaje

Označené pro přenos do RIV

ISBN

0387945938

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

FITTING, Melvin. First order logic and automated theorem proving. 2nd ed. New York: Springer, 1996, xvi, 326. ISBN 0387945938.

@article{,
   author = {Fitting, Melvin},
   address = {New York},
   edition = {2nd ed.},
   location = {New York},
   isbn = {0387945938},
   publisher = {Springer},
   title = {First order logic and automated theorem proving},
   year = {1996}
}

TY  - JOUR
AU  - Fitting, Melvin
PY  - 1996
TI  - First order logic and automated theorem proving
PB  - Springer
CY  - New York
SN  - 0387945938
ER  -

FITTING, Melvin. \textit{First order logic and automated theorem proving}. 2nd ed. New York: Springer, 1996, xvi, 326. ISBN~0387945938.