Extensions of First-Order Logic - Cambridge Tracts in Theoretical Computer Science - Manzano, Maria (Universitat de Barcelona) - Grāmatas - Cambridge University Press - 9780521019026 - 2005. gada 22. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Manzano, Maria (Universitat de Barcelona)
Extensions of First-Order Logic - Cambridge Tracts in Theoretical Computer Science

Cena
€ 102,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 23. okt. - . gada 6. nov.
Saņemiet paziņojumus par jauniem Manzano, Maria (Universitat de Barcelona) izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work.

412 pages, black & white illustrations

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2005. gada 22. augusts
ISBN13 9780521019026
Izdevēji Cambridge University Press
Lapas 412
Izmēri 170 × 243 × 24 mm   ·   704 g
Valoda Angļu  
Sērijas redaktors Abramsky, S.
Sērijas redaktors Aczel, P. H.
Sērijas redaktors Bakker, J. W. De
Sērijas redaktors Gurevich, Y.
Sērijas redaktors Tucker, J. V.
Sērijas redaktors Van Rijsbergen, C. J.

Vairāk no tā paša izdevēja

Skatīt visus Manzano, Maria (Universitat de Barcelona)